diff options
author | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-30 11:00:02 -0400 |
---|---|---|
committer | usodhi <61431818+usodhi@users.noreply.github.com> | 2021-03-30 11:00:02 -0400 |
commit | 479dff344ff2cf92ace9c68c3ce6d03e6e6dce22 (patch) | |
tree | 85db5d0f69dc8afaae4c5ea5e6d1492d831fc7f1 /src/client/documents/DocumentTypes.ts | |
parent | 4df769e20b9588fea61b602ec67ca2208fc3d747 (diff) | |
parent | 47f4f4ce91bd7deacaa04526418341d1f6006404 (diff) |
merging
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
-rw-r--r-- | src/client/documents/DocumentTypes.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/documents/DocumentTypes.ts b/src/client/documents/DocumentTypes.ts index 851e78336..8565784b4 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 - PDFANNO = "pdfanno", // pdf text selection (could be just a collection?) + HTMLANCHOR = "htmlanchor", // text selection anchor in PDF/Web DATE = "date", // calendar view of a date SCRIPTING = "script", // script editor EQUATION = "equation", // equation editor |