diff options
author | Alex Yatskov <alex@foosoft.net> | 2016-05-01 21:18:28 -0700 |
---|---|---|
committer | Alex Yatskov <alex@foosoft.net> | 2016-05-01 21:18:28 -0700 |
commit | eaa7291683604895017c67e716f7ee44a1ea853a (patch) | |
tree | 355b18ec73e05bb3a666d99cf92ae32aa35f28ce /ext/fg/js/client.js | |
parent | 61993db7026d2e06666ba6aeea1f7eed388d8592 (diff) |
Updating options page
Diffstat (limited to 'ext/fg/js/client.js')
-rw-r--r-- | ext/fg/js/client.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/fg/js/client.js b/ext/fg/js/client.js index fdb46acb..8393e58c 100644 --- a/ext/fg/js/client.js +++ b/ext/fg/js/client.js @@ -126,7 +126,7 @@ class Client { showPopup(range, content) { this.popup.showNextTo(range.getRect(), content); - if (this.options.highlightText) { + if (this.options.selectMatchedText) { range.select(); } @@ -136,7 +136,7 @@ class Client { hidePopup() { this.popup.hide(); - if (this.options.highlightText && this.lastRange !== null) { + if (this.options.selectMatchedText && this.lastRange !== null) { this.lastRange.deselect(); } |