diff options
Diffstat (limited to 'ext/fg/js')
| -rw-r--r-- | ext/fg/js/frontend.js | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index 685dbd28..1214e74b 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -233,11 +233,20 @@ class Frontend { async _updateOptionsInternal() { const optionsContext = await this.getOptionsContext(); - this._options = await api.optionsGet(optionsContext); + const options = await api.optionsGet(optionsContext); + const scanningOptions = options.scanning; + this._options = options; await this._updatePopup(); - this._textScanner.setOptions(this._options); + this._textScanner.setOptions({ + deepContentScan: scanningOptions.deepDomScan, + selectText: scanningOptions.selectText, + modifier: scanningOptions.modifier, + useMiddleMouse: scanningOptions.middleMouse, + delay: scanningOptions.delay, + touchInputEnabled: scanningOptions.touchInputEnabled + }); this._updateTextScannerEnabled(); const ignoreNodes = ['.scan-disable', '.scan-disable *']; |