diff options
author | bobzel <zzzman@gmail.com> | 2020-04-03 22:05:11 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-03 22:05:11 -0400 |
commit | 5a49ff42f845239de72c4c31c4df0688313b30e7 (patch) | |
tree | 082ea03501aecc4f9ea3f68d3954ef9b2c6195a8 /src/client/views/pdf/PDFViewer.tsx | |
parent | a0e4ae65f81c62ac08761359e60b996f0e839559 (diff) | |
parent | fac740378a9eeaeb0af4567f6402120aba8bd62e (diff) |
Merge pull request #350 from browngraphicslab/search_doc
Search doc
Diffstat (limited to 'src/client/views/pdf/PDFViewer.tsx')
-rw-r--r-- | src/client/views/pdf/PDFViewer.tsx | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/client/views/pdf/PDFViewer.tsx b/src/client/views/pdf/PDFViewer.tsx index 71495d95f..c032f019d 100644 --- a/src/client/views/pdf/PDFViewer.tsx +++ b/src/client/views/pdf/PDFViewer.tsx @@ -31,8 +31,6 @@ import { InkingControl } from "../InkingControl"; import { InkTool } from "../../../new_fields/InkField"; import { TraceMobx } from "../../../new_fields/util"; import { PdfField } from "../../../new_fields/URLField"; -import { PDFBox } from "../nodes/PDFBox"; -import { FormattedTextBox } from "../nodes/FormattedTextBox"; import { DocumentView } from "../nodes/DocumentView"; const PDFJSViewer = require("pdfjs-dist/web/pdf_viewer"); const pdfjsLib = require("pdfjs-dist"); @@ -61,6 +59,7 @@ interface IViewerProps { PanelHeight: () => number; ContentScaling: () => number; select: (isCtrlPressed: boolean) => void; + rootSelected: () => boolean; startupLive: boolean; renderDepth: number; focus: (doc: Doc) => void; |