1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-04-30 17:54:04 +02:00

Update docs to reflect lack of *style options

This commit is contained in:
Kris Maglione
2008-10-07 20:41:02 +00:00
parent ee6ca4bb4a
commit ebf6f2d33b
2 changed files with 1 additions and 30 deletions
-2
View File
@@ -258,12 +258,10 @@ section:Options[option-index]
||'guioptions'|| Show or hide certain GUI elements like the menu or toolbar +
||'helpfile'|| Name of the main help file +
||'hintmatching'|| How links are matched +
||'hintstyle'|| CSS specification of unfocused hints +
||'hinttags'|| XPath string of hintable elements activated by 'f' and 'F' +
||'hinttimeout'|| Automatically follow non unique numerical hint +
||'history'|| Number of Ex commands and search patterns to store in the command-line history +
||'hlsearch'|| Highlight previous search pattern matches +
||'hlsearchstyle'|| CSS specification of highlighted search items +
||'ignorecase'|| Ignore case in search patterns +
||'incsearch'|| Show where the search pattern matches as it is typed +
||'insertmode'|| Use Insert mode as the default for text areas +