Scanning wildcards (#2042)

* Add scanning.matchTypePrefix option

* Update TextScanner to use matchTypePrefix option

* Add setting

* Update warning

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;
+    }
 }