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 /vimiumFrontend.js | |
| parent | fb99302b22ddcc7a2ecd7c21e43f3548d937701d (diff) | |
| download | vimium-b6c8815b3e4276c10966df2a1492efdb19b0bc73.tar.bz2 | |
hide HUD option
Diffstat (limited to 'vimiumFrontend.js')
| -rw-r--r-- | vimiumFrontend.js | 1 |
1 files changed, 1 insertions, 0 deletions
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); |