diff options
| author | ab <abdullah_ahmed@brown.edu> | 2019-07-02 14:32:10 -0400 |
|---|---|---|
| committer | ab <abdullah_ahmed@brown.edu> | 2019-07-02 14:32:10 -0400 |
| commit | bd03aebc435d07983d7100787b41028a3673fd98 (patch) | |
| tree | 552b01e1abfc637edfb07e21525f9b18d5c41800 /src/client/util/TooltipTextMenu.tsx | |
| parent | c2e03a9dfe8910a15ab1b8d3d2af77a5bb82a12d (diff) | |
idk
Diffstat (limited to 'src/client/util/TooltipTextMenu.tsx')
| -rw-r--r-- | src/client/util/TooltipTextMenu.tsx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/TooltipTextMenu.tsx b/src/client/util/TooltipTextMenu.tsx index e72e3cf5e..36be0398c 100644 --- a/src/client/util/TooltipTextMenu.tsx +++ b/src/client/util/TooltipTextMenu.tsx @@ -596,7 +596,7 @@ export class TooltipTextMenu { return found; } - highlightSearchTerms = (terms: String[]) => { + public highlightSearchTerms = (terms: String[]) => { const doc = this.view.state.doc; const mark = this.view.state.schema.mark(this.view.state.schema.marks.search_highlight); doc.nodesBetween(0, doc.content.size, (node: ProsNode, pos: number, parent: ProsNode, index: number) => { @@ -616,7 +616,7 @@ export class TooltipTextMenu { }); } - unhighlightSearchTerms = () => { + public unhighlightSearchTerms = () => { const doc = this.view.state.doc; const mark = this.view.state.schema.mark(this.view.state.schema.marks.search_highlight); doc.nodesBetween(0, doc.content.size, (node: ProsNode, pos: number, parent: ProsNode, index: number) => { |