Replace older values with :sty/:hi -append rather than simply concatenating the old string.

2026-02-14 19:45:46 +01:00 · 2010-12-21 20:56:19 -05:00
parent 198a321c59
commit 362981e1b1
3 changed files with 39 additions and 21 deletions
--- a/common/content/finder.js
+++ b/common/content/finder.js
@@ -207,14 +207,7 @@ const RangeFinder = Module("rangefinder", {
            "Highlight all /find pattern matches on the current page after submission",
            "boolean", false, {
                setter: function (value) {
-                    try {
-                        if (value)
-                            rangefinder.highlight();
-                        else
-                            rangefinder.clear();
-                    }
-                    catch (e) {}
-
+                    rangefinder[value ? "highlight" : "clear"]();
                    return value;
                }
            });