diff options
Diffstat (limited to 'ext/bg/js/api.js')
| -rw-r--r-- | ext/bg/js/api.js | 9 | 
1 files changed, 8 insertions, 1 deletions
| diff --git a/ext/bg/js/api.js b/ext/bg/js/api.js index 53e25348..a50353c1 100644 --- a/ext/bg/js/api.js +++ b/ext/bg/js/api.js @@ -21,6 +21,13 @@ function apiOptionsGet(optionsContext) {      return utilBackend().getOptions(optionsContext);  } +async function apiOptionsSave() { +    const backend = utilBackend(); +    const options = await backend.getFullOptions(); +    await optionsSave(options); +    backend.onOptionsUpdated(options); +} +  async function apiTermsFind(text, optionsContext) {      const options = await apiOptionsGet(optionsContext);      const translator = utilBackend().translator; @@ -132,7 +139,7 @@ async function apiCommandExec(command) {              const optionsContext = {depth: 0};              const options = await apiOptionsGet(optionsContext);              options.general.enable = !options.general.enable; -            await optionsSave(options); +            await apiOptionsSave();          }      }; |