From a1f6b707c8db1fce4d0216d1847519b026d8d8a5 Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Sat, 8 Sep 2007 09:58:01 +0000
Subject: [PATCH] use true as the default value of 'hlsearch' and 'ignorecase'
 and store 'hlsearch' as a preference

---
 chrome/content/vimperator/options.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/chrome/content/vimperator/options.js b/chrome/content/vimperator/options.js
index 4894440d..c79d17a0 100644
--- a/chrome/content/vimperator/options.js
+++ b/chrome/content/vimperator/options.js
@@ -422,8 +422,8 @@ function Options() //{{{
     addOption(new Option(["hlsearch", "hls"], "boolean",
         {
             short_help: "Highlight previous search pattern matches",
-            setter: function(value) { if (value) vimperator.search.highlight(); else vimperator.search.clear(); },
-            default_value: true
+            setter: function(value) { Options.setPref("hlsearch", value); if (value) vimperator.search.highlight(); else vimperator.search.clear(); },
+            default_value: false
         }
     ));
     addOption(new Option(["ignorecase", "ic"], "boolean",
@@ -510,7 +510,7 @@ function Options() //{{{
         {
             short_help: "Override the 'ignorecase' option if the pattern contains uppercase characters",
             help: "This is only used if the <code class=\"option\">'ignorecase'</code> option is set.",
-            default_value: false
+            default_value: true
         }
     ));
     addOption(new Option(["titlestring"], "string",