From b6c8815b3e4276c10966df2a1492efdb19b0bc73 Mon Sep 17 00:00:00 2001
From: Pablo Fernandez
Date: Tue, 24 Jan 2012 22:11:58 -0300
Subject: hide HUD option

---
 options.html | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'options.html')

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">
-- 
cgit v1.2.3