diff options
| author | Pablo Fernandez | 2012-01-24 22:11:58 -0300 |
|---|---|---|
| committer | Pablo Fernandez | 2012-01-24 22:11:58 -0300 |
| commit | b6c8815b3e4276c10966df2a1492efdb19b0bc73 (patch) | |
| tree | 6cedcef76c48d53904894ff29096a445542f8eaf /options.html | |
| parent | fb99302b22ddcc7a2ecd7c21e43f3548d937701d (diff) | |
| download | vimium-b6c8815b3e4276c10966df2a1492efdb19b0bc73.tar.bz2 | |
hide HUD option
Diffstat (limited to 'options.html')
| -rw-r--r-- | options.html | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/options.html b/options.html index 3d4033e3..37cc5edb 100644 --- a/options.html +++ b/options.html @@ -86,7 +86,7 @@ var defaultSettings = chrome.extension.getBackgroundPage().defaultSettings; var editableFields = ["scrollStepSize", "excludedUrls", "linkHintCharacters", "userDefinedLinkHintCss", - "keyMappings", "filterLinkHints", "previousPatterns", "nextPatterns"]; + "keyMappings", "filterLinkHints", "previousPatterns", "nextPatterns", "hideHud"]; var canBeEmptyFields = ["excludedUrls", "keyMappings", "userDefinedLinkHintCss"]; @@ -313,6 +313,19 @@ <input id="nextPatterns" type="text" style="width:320px" /> </td> </tr> + <tr class="advancedOption"> + <td class="caption">Hide HUD notifications</td> + <td verticalAlign="top" class="booleanOption"> + <label> + <div class="help"> + <div class="example"> + Hide the notification HUD that appears on the bottom of the screen. + </div> + </div> + <input id="hideHud" type="checkbox"/> + </label> + </td> + </tr> </table> <div id="buttonsPanel"> |
