add 'hlsearch' option

chrome/content/vimperator/find.js

@@ -28,7 +28,6 @@ the terms of any one of the MPL, the GPL or the LGPL.
 
 
 // make sure you only create this object when the "vimperator" object is ready
-// vimperator.search = new function()
 function Search() //{{{
 {
     var self = this;                  // needed for callbacks since "this" is the "vimperator" object in a callback
@@ -145,6 +144,12 @@ function Search() //{{{
         vimperator.focusContent();
     }
 
+    this.highlight = function()
+    {
+        if (lastsearch)
+            gFindBar._highlightDoc("yellow", "black", lastsearch);
+    }
+
     this.clear = function()
     {
         gFindBar._highlightDoc();

chrome/content/vimperator/options.js

@@ -425,6 +425,13 @@ function Options() //{{{
             default_value: DEFAULT_HINTTAGS
         }
     ));
+    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: false
+        }
+    ));
     addOption(new Option(["maxhints", "mh"], "number",
         {
             short_help: "Maximum number of simultaneously shown hints",