diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-31 22:12:21 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-09-02 11:43:48 -0400 |
commit | 171e3f1097a86b993ba1e16c07c4ad6d5bff75ee (patch) | |
tree | e04ec6758f7988037d077859c37e49eb6a487df3 /ext/fg/js/frontend.js | |
parent | 737a5ee8a814bc89ac40f99264e8835c47f77387 (diff) |
Add option for enabling deep scanning
Diffstat (limited to 'ext/fg/js/frontend.js')
-rw-r--r-- | ext/fg/js/frontend.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 5a8d18c1..8a5c48d0 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -285,7 +285,7 @@ class Frontend { return; } - const textSource = docRangeFromPoint(point); + const textSource = docRangeFromPoint(point, this.options); let hideResults = !textSource || !textSource.containsPoint(point); let searched = false; let success = false; |