gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-04 00:14:11 +01:00
Code Issues Projects Releases Wiki Activity

add 'ignorecase' option

Browse Source
This commit is contained in:
Doug Kearns
2007-09-04 06:21:38 +00:00
parent 690ac4d13b
commit 78fd430086
3 changed files with 26 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -432,6 +432,12 @@ function Options() //{{{
default_value: false
}
));
addOption(new Option(["ignorecase", "ic"], "boolean",
{
short_help: "Ignore case in search patterns",
default_value: false
}
));
addOption(new Option(["incsearch", "is"], "boolean",
{
short_help: "Show where the search pattern matches as it is typed",