From 5e5c29f508a523d102f056f64fa14cfcb8444a1b Mon Sep 17 00:00:00 2001
From: Martin Stubenschrott <stubenschrott@gmx.net>
Date: Thu, 6 Sep 2007 17:48:18 +0000
Subject: [PATCH] changed some default options, fixed "hlsearch"

---
 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",