gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-22 12:37:58 +01:00
Code Issues Projects Releases Wiki Activity

use true as the default value of 'hlsearch' and 'ignorecase' and store

Browse Source 
'hlsearch' as a preference
This commit is contained in:
Doug Kearns
2007-09-08 09:58:01 +00:00
parent eb26d2cdc3
commit a1f6b707c8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
chrome/content/vimperator/options.js
View File

@@ -422,8 +422,8 @@ function Options() //{{{
addOption(new Option(["hlsearch", "hls"], "boolean", addOption(new Option(["hlsearch", "hls"], "boolean",
{ {
short_help: "Highlight previous search pattern matches", short_help: "Highlight previous search pattern matches",
setter: function(value) { if (value) vimperator.search.highlight(); else vimperator.search.clear(); }, setter: function(value) { Options.setPref("hlsearch", value); if (value) vimperator.search.highlight(); else vimperator.search.clear(); },
default_value: true default_value: false
} }
)); ));
addOption(new Option(["ignorecase", "ic"], "boolean", addOption(new Option(["ignorecase", "ic"], "boolean",
@@ -510,7 +510,7 @@ function Options() //{{{
{ {
short_help: "Override the 'ignorecase' option if the pattern contains uppercase characters", 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.", 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", addOption(new Option(["titlestring"], "string",