diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2019-10-18 14:00:25 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2019-10-18 14:00:25 -0400 |
| commit | 11537da75c76fba79a2709d2ad175dfa16a25256 (patch) | |
| tree | 1250a20ff25bbc43e880a4e52230d5396c5c5086 /src/client/documents/DocumentTypes.ts | |
| parent | e21810a4097e724a378416135c7cc6def7ff022c (diff) | |
fixes for drawing link anchors to pdf text selections.
Diffstat (limited to 'src/client/documents/DocumentTypes.ts')
| -rw-r--r-- | src/client/documents/DocumentTypes.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/documents/DocumentTypes.ts b/src/client/documents/DocumentTypes.ts index ea37fc2f1..12501065a 100644 --- a/src/client/documents/DocumentTypes.ts +++ b/src/client/documents/DocumentTypes.ts @@ -23,5 +23,6 @@ export enum DocumentType { PRESELEMENT = "preselement", QUERY = "search", COLOR = "color", - DOCULINK = "doculink" + DOCULINK = "doculink", + PDFANNO = "pdfanno" }
\ No newline at end of file |