diff options
Diffstat (limited to 'ext/fg')
| -rw-r--r-- | ext/fg/js/document.js | 4 | ||||
| -rw-r--r-- | ext/fg/js/frontend.js | 2 | ||||
| -rw-r--r-- | ext/fg/js/source.js | 22 | 
3 files changed, 3 insertions, 25 deletions
| diff --git a/ext/fg/js/document.js b/ext/fg/js/document.js index bd876e5d..60b1b9bd 100644 --- a/ext/fg/js/document.js +++ b/ext/fg/js/document.js @@ -152,7 +152,7 @@ function docSentenceExtract(source, extent) {          if (quoteStack.length > 0 && c === quoteStack[0]) {              quoteStack.pop();          } else if (c in quotesBwd) { -            quoteStack = [quotesBwd[c]].concat(quoteStack); +            quoteStack.unshift(quotesBwd[c]);          }      } @@ -181,7 +181,7 @@ function docSentenceExtract(source, extent) {          if (quoteStack.length > 0 && c === quoteStack[0]) {              quoteStack.pop();          } else if (c in quotesFwd) { -            quoteStack = [quotesFwd[c]].concat(quoteStack); +            quoteStack.unshift(quotesFwd[c]);          }      } diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 6806e2c3..52620933 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -302,7 +302,7 @@ class Frontend {          }          const textSource = docRangeFromPoint(point, this.options); -        let hideResults = !textSource || !textSource.containsPoint(point); +        let hideResults = textSource === null;          let searched = false;          let success = false; diff --git a/ext/fg/js/source.js b/ext/fg/js/source.js index 385b5001..18a1a976 100644 --- a/ext/fg/js/source.js +++ b/ext/fg/js/source.js @@ -59,11 +59,6 @@ class TextSourceRange {          return length - state.remainder;      } -    containsPoint(point) { -        const rect = this.getPaddedRect(); -        return point.x >= rect.left && point.x <= rect.right; -    } -      getRect() {          return this.range.getBoundingClientRect();      } @@ -72,18 +67,6 @@ class TextSourceRange {          return TextSourceRange.getElementWritingMode(TextSourceRange.getParentElement(this.range.startContainer));      } -    getPaddedRect() { -        const range = this.range.cloneRange(); -        const startOffset = range.startOffset; -        const endOffset = range.endOffset; -        const node = range.startContainer; - -        range.setStart(node, Math.max(0, startOffset - 1)); -        range.setEnd(node, Math.min(node.length, endOffset + 1)); - -        return range.getBoundingClientRect(); -    } -      select() {          const selection = window.getSelection();          selection.removeAllRanges(); @@ -334,11 +317,6 @@ class TextSourceElement {          return 0;      } -    containsPoint(point) { -        const rect = this.getRect(); -        return point.x >= rect.left && point.x <= rect.right; -    } -      getRect() {          return this.element.getBoundingClientRect();      } |