diff options
Diffstat (limited to 'ext/bg/js/options.js')
| -rw-r--r-- | ext/bg/js/options.js | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ext/bg/js/options.js b/ext/bg/js/options.js index f1fe0dac..2f0bd189 100644 --- a/ext/bg/js/options.js +++ b/ext/bg/js/options.js @@ -17,11 +17,25 @@ */ +function versionOptions(options) { + const version = options.version || 0; + const fixups = [ + () => {} + ]; + + if (version < fixups.length) { + fixups[version](); + ++options.version; + versionOptions(options); + } +} + function sanitizeOptions(options) { const defaults = { activateOnStartup: true, enableAudioPlayback: true, enableSoftKatakanaSearch: true, + groupTermResults: true, showAdvancedOptions: false, selectMatchedText: true, holdShiftToScan: true, |