diff options
author | geireann <60007097+geireann@users.noreply.github.com> | 2021-08-02 15:44:44 -0400 |
---|---|---|
committer | geireann <60007097+geireann@users.noreply.github.com> | 2021-08-02 15:44:44 -0400 |
commit | 94705e6cf119b9cdfcc0d857f71051eac10235c9 (patch) | |
tree | 2d399160a319b7931b22f7b7fd38e9ad3483ea33 /src/client/documents/DocumentTypes.ts | |
parent | 1291e8a45ec9e3aeccd2ca74c0f549a18a16f0d7 (diff) | |
parent | 44ed361a9f59a16bbd1b5f2483ba7eb10df2fa82 (diff) |
Merge branch 'master' into sharing_scenario
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
-rw-r--r-- | src/client/documents/DocumentTypes.ts | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/client/documents/DocumentTypes.ts b/src/client/documents/DocumentTypes.ts index 8565784b4..dba7ff907 100644 --- a/src/client/documents/DocumentTypes.ts +++ b/src/client/documents/DocumentTypes.ts @@ -18,7 +18,7 @@ export enum DocumentType { LABEL = "label", // simple text label BUTTON = "button", // onClick button WEBCAM = "webcam", // webcam - HTMLANCHOR = "htmlanchor", // text selection anchor in PDF/Web + MARKER = "marker", // generic marker document not intended to be viewed independently of its context (e.g., for text selections in PDF/Web/RTF) DATE = "date", // calendar view of a date SCRIPTING = "script", // script editor EQUATION = "equation", // equation editor @@ -40,6 +40,4 @@ export enum DocumentType { LINKDB = "linkdb", // database of links ??? why do we have this SCRIPTDB = "scriptdb", // database of scripts GROUPDB = "groupdb", // database of groups - - TEXTANCHOR = "textanchor" // selection of text in a text box }
\ No newline at end of file |