1 files changed, 81 insertions, 2 deletions

diff --git a/src/client/util/TooltipTextMenu.tsx b/src/client/util/TooltipTextMenu.tsx
index 9f8d0b2f6..e72e3cf5e 100644
--- a/src/client/util/TooltipTextMenu.tsx
+++ b/src/client/util/TooltipTextMenu.tsx
@@ -33,6 +33,7 @@ export class TooltipTextMenu {
     private fontStylesToName: Map<MarkType, string>;
     private listTypeToIcon: Map<NodeType, string>;
     private link: HTMLAnchorElement;
+    //private wrapper: HTMLDivElement;
 
     private linkEditor?: HTMLDivElement;
     private linkText?: HTMLDivElement;
@@ -49,8 +50,10 @@ export class TooltipTextMenu {
     constructor(view: EditorView, editorProps: FieldViewProps & FormattedTextBoxProps) {
         this.view = view;
         this.editorProps = editorProps;
+        //this.wrapper = document.createElement("div");
         this.tooltip = document.createElement("div");
         this.tooltip.className = "tooltipMenu";
+        this.dragElement(this.tooltip);
 
         // this.createCollapse();
         // if (this._collapseBtn) {
@@ -129,8 +132,6 @@ export class TooltipTextMenu {
 
         this.tooltip.appendChild(this.createStar().render(this.view).dom);
 
-
-
         this.updateListItemDropdown(":", this.listTypeBtnDom);
 
         this.update(view, undefined);
@@ -164,6 +165,50 @@ export class TooltipTextMenu {
         this.fontSizeDom = newfontSizeDom;
     }
 
+    // Make the DIV element draggable:
+
+    dragElement(elmnt: HTMLElement) {
+        var pos1 = 0, pos2 = 0, pos3 = 0, pos4 = 0;
+        if (elmnt) {
+            // if present, the header is where you move the DIV from:
+            elmnt.onmousedown = dragMouseDown;
+        }
+        const self = this;
+
+        function dragMouseDown(e: any) {
+            e = e || window.event;
+            e.preventDefault();
+            // get the mouse cursor position at startup:
+            pos3 = e.clientX;
+            pos4 = e.clientY;
+            document.onmouseup = closeDragElement;
+            // call a function whenever the cursor moves:
+            document.onmousemove = elementDrag;
+        }
+
+        function elementDrag(e: any) {
+            e = e || window.event;
+            e.preventDefault();
+            // calculate the new cursor position:
+            pos1 = pos3 - e.clientX;
+            pos2 = pos4 - e.clientY;
+            pos3 = e.clientX;
+            pos4 = e.clientY;
+            // set the element's new position:
+            elmnt.style.top = (elmnt.offsetTop - pos2) + "px";
+            elmnt.style.left = (elmnt.offsetLeft - pos1) + "px";
+            self.highlightSearchTerms(["hello", "there"]);
+        }
+
+        function closeDragElement() {
+            // stop moving when mouse button is released:
+            document.onmouseup = null;
+            document.onmousemove = null;
+            //self.highlightSearchTerms(self.state, ["hello"]);
+            self.unhighlightSearchTerms();
+        }
+    }
+
     //label of dropdown will change to given label
     updateFontStyleDropdown(label: string) {
         //filtering function - might be unecessary
@@ -551,6 +596,38 @@ export class TooltipTextMenu {
         return found;
     }
 
+    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) => {
+            if (node.isLeaf && node.isText && node.text) {
+                let nodeText: String = node.text;
+                let tokens = nodeText.split(" ");
+                let start = pos;
+                tokens.forEach((word) => {
+                    if (terms.includes(word)) {
+                        this.view.dispatch(this.view.state.tr.addMark(start, start + word.length, mark).removeStoredMark(mark));
+                    }
+                    else {
+                        start += word.length + 1;
+                    }
+                });
+            }
+        });
+    }
+
+    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) => {
+            if (node.isLeaf && node.isText && node.text) {
+                if (node.marks.includes(mark)) {
+                    this.view.dispatch(this.view.state.tr.removeMark(pos, pos + node.nodeSize, mark));
+                }
+            }
+        });
+    }
+
     //updates the tooltip menu when the selection changes
     update(view: EditorView, lastState: EditorState | undefined) {
         let state = view.state;
@@ -603,6 +680,8 @@ export class TooltipTextMenu {
         }
         this.view.dispatch(this.view.state.tr.setStoredMarks(this._activeMarks));
         this.updateLinkMenu();
+        //this.highlightSearchTerms(["hello", "there"]);
+        //this.unhighlightSearchTerms();
     }
 
     //finds all active marks on selection in given group