diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-01-09 23:10:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-09 23:10:55 -0500 |
| commit | 083da93142ec6302021ee1c29428121b54fc9e68 (patch) | |
| tree | c07c7e3ae808682e127603303f4698056204abd7 /ext/fg | |
| parent | da1e1e5c5b4dc20cc6aa46b51c55a496d094ed5c (diff) | |
Refactor sentence parsing (#1215)
* Rename sentenceExtent with sentenceScanExtent
* Update TextScanner.setOptions
* Change function argument order
* Rename quote map variables
* Fix edge case quote handling
* Update terminator maps to support character inclusion
Diffstat (limited to 'ext/fg')
| -rw-r--r-- | ext/fg/js/frontend.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/fg/js/frontend.js b/ext/fg/js/frontend.js index c14c2feb..a206e3fb 100644 --- a/ext/fg/js/frontend.js +++ b/ext/fg/js/frontend.js @@ -312,7 +312,7 @@ class Frontend { async _updateOptionsInternal() { const optionsContext = await this._getOptionsContext(); const options = await api.optionsGet(optionsContext); - const scanningOptions = options.scanning; + const {scanning: scanningOptions, sentenceParsing: sentenceParsingOptions} = options; this._options = options; await this._updatePopup(); @@ -326,7 +326,7 @@ class Frontend { touchInputEnabled: scanningOptions.touchInputEnabled, pointerEventsEnabled: scanningOptions.pointerEventsEnabled, scanLength: scanningOptions.length, - sentenceExtent: options.sentenceParsing.scanExtent, + sentenceScanExtent: sentenceParsingOptions.scanExtent, layoutAwareScan: scanningOptions.layoutAwareScan, preventMiddleMouse }); |