diff options
Diffstat (limited to 'ext/fg')
| -rw-r--r-- | ext/fg/js/driver.js | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ext/fg/js/driver.js b/ext/fg/js/driver.js index e595b350..974c4f28 100644 --- a/ext/fg/js/driver.js +++ b/ext/fg/js/driver.js @@ -34,8 +34,8 @@ class Driver { window.addEventListener('keydown', this.onKeyDown.bind(this)); window.addEventListener('resize', e => this.searchClear()); - getOptions().then(opts => { - this.options = opts; + getOptions().then(options => { + this.options = options; return isEnabled(); }).then(enabled => { this.enabled = enabled; @@ -208,8 +208,8 @@ class Driver { this.lastTextSource = null; } - api_setOptions(opts) { - this.options = opts; + api_setOptions(options) { + this.options = options; } api_setEnabled(enabled) { |