Disable tab numbering in Gecko 1.9 for the moment. Deal with stale RangeFinds slipping through in corner case.

common/content/configbase.js

@@ -32,6 +32,9 @@ const ConfigBase = Class(ModuleBase, {
                  {"}"}</>);
             img = null;
         };
+
+        if (util.haveGecko("2b"))
+            this.features.push("Gecko2");
     },
 
     styleHelp: function () {

common/content/dactyl.js

@@ -1284,7 +1284,9 @@ const Dactyl = Module("dactyl", {
 
                     styles.addSheet(true, "taboptions", "chrome://*",
                         classes.length ? classes.join(",") + "{ display: none; }" : "");
-                }
+                },
+                validator: function (opts) dactyl.has("Gecko2") ||
+                    Option.validIf(!/[nN]/.test(opts), "Tab numbering not available in this " + config.host + " version")
             }
         ].filter(function (group) !group.feature || dactyl.has(group.feature));
 

common/content/finder.js

@@ -77,7 +77,7 @@ const RangeFinder = Module("rangefinder", {
     },
 
     findAgain: function (reverse) {
-        if (!this.rangeFind)
+        if (!this.rangeFind || this.rangeFind.stale)
             this.find(this.lastFindPattern);
         else if (!this.rangeFind.find(null, reverse))
             dactyl.echoerr("E486: Pattern not found: " + this.lastFindPattern);

common/content/options.js

@@ -8,7 +8,11 @@
 
 /** @scope modules */
 
-let ValueError = Class("ValueError", Error);
+let ValueError = Class("ValueError", Error, {
+    init: function (message) {
+        update(this, Error(message));
+    }
+});
 
 // do NOT create instances of this class yourself, use the helper method
 // options.add() instead