diff options
Diffstat (limited to 'ext/fg/js/source.js')
| -rw-r--r-- | ext/fg/js/source.js | 22 | 
1 files changed, 0 insertions, 22 deletions
| diff --git a/ext/fg/js/source.js b/ext/fg/js/source.js index e724488d..1febab7e 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(); @@ -290,11 +273,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();      } |