diff options
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"> |