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

---
 vimiumFrontend.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'vimiumFrontend.js')

diff --git a/vimiumFrontend.js b/vimiumFrontend.js
index e217e955..e0759df2 100644
--- a/vimiumFrontend.js
+++ b/vimiumFrontend.js
@@ -792,6 +792,7 @@ HUD = {
   },
 
   show: function(text) {
+    if (hudDisabled()) return;
     clearTimeout(HUD._showForDurationTimerId);
     HUD.displayElement().innerHTML = text;
     clearInterval(HUD._tweenId);
-- 
cgit v1.2.3