add 'incsearch' option

2025-12-22 02:17:59 +01:00 · 2007-09-03 19:43:42 +00:00
parent 6d33284a76
commit 127dbd42cc
2 changed files with 10 additions and 1 deletions
--- a/chrome/content/vimperator/options.js
+++ b/chrome/content/vimperator/options.js
@@ -432,6 +432,12 @@ function Options() //{{{
            default_value: false
        }
    ));
+    addOption(new Option(["incsearch", "is"], "boolean",
+        {
+            short_help: "Show where the search pattern matches as it is typed",
+            default_value: false
+        }
+    ));
    addOption(new Option(["maxhints", "mh"], "number",
        {
            short_help: "Maximum number of simultaneously shown hints",