Reset progress indicator on location change.

2026-01-03 23:04:11 +01:00 · 2011-02-04 20:24:50 -05:00
parent 6a3d5dcfce
commit e9fd99dafa
9 changed files with 57 additions and 44 deletions
--- a/common/modules/finder.jsm
+++ b/common/modules/finder.jsm
@@ -262,7 +262,7 @@ var RangeFinder = Module("rangefinder", {
            "Find case matching mode",
            "string", "smart",
            {
-                completer: function () [
+                values: [
                    ["smart", "Case is significant when capital letters are typed"],
                    ["match", "Case is always significant"],
                    ["ignore", "Case is never significant"]