diff options
Diffstat (limited to 'ext/js/data')
-rw-r--r-- | ext/js/data/options-util.js | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/ext/js/data/options-util.js b/ext/js/data/options-util.js index c8ab2d01..7a725005 100644 --- a/ext/js/data/options-util.js +++ b/ext/js/data/options-util.js @@ -464,7 +464,8 @@ class OptionsUtil { {async: true, update: this._updateVersion12.bind(this)}, {async: true, update: this._updateVersion13.bind(this)}, {async: false, update: this._updateVersion14.bind(this)}, - {async: false, update: this._updateVersion15.bind(this)} + {async: false, update: this._updateVersion15.bind(this)}, + {async: false, update: this._updateVersion16.bind(this)} ]; if (typeof targetVersion === 'number' && targetVersion < result.length) { result.splice(targetVersion); @@ -888,4 +889,13 @@ class OptionsUtil { } return options; } + + _updateVersion16(options) { + // Version 16 changes: + // Added scanning.matchTypePrefix. + for (const profile of options.profiles) { + profile.options.scanning.matchTypePrefix = false; + } + return options; + } } |