diff options
author | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-02 23:35:15 -0500 |
---|---|---|
committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-02 23:35:15 -0500 |
commit | 067377e138254c72ad4cf3609b05d5aab2b71a26 (patch) | |
tree | 9ce9b22e585a0e1472eb3216630c2404e8517144 /src/client/documents/DocumentTypes.ts | |
parent | 95451a2eb0871856b946fff8a14ca0c385af5f1b (diff) | |
parent | 1b481cd441cc8bb200906b246b43e4bc5dc53b4e (diff) |
agh stop merging
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
-rw-r--r-- | src/client/documents/DocumentTypes.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/documents/DocumentTypes.ts b/src/client/documents/DocumentTypes.ts index 080657fd8..20dbc6f25 100644 --- a/src/client/documents/DocumentTypes.ts +++ b/src/client/documents/DocumentTypes.ts @@ -21,6 +21,7 @@ export enum DocumentType { PDFANNO = "pdfanno", // pdf text selection (could be just a collection?) DATE = "date", // calendar view of a date SCRIPTING = "script", // script editor + EQUATION = "equation", // equation edtior // special purpose wrappers that either take no data or are compositions of lower level types LINK = "link", // link (view of a document that acts as a link) |