diff options
| author | Phil Crosby | 2012-02-15 14:45:15 -0800 |
|---|---|---|
| committer | Phil Crosby | 2012-02-15 14:45:15 -0800 |
| commit | a21583edb4a7424ae03a4b7b7313999b04936a6b (patch) | |
| tree | dc821757ba20274915c04c0e6c16ccdd31adf9f4 /vimiumFrontend.js | |
| parent | 1715afe676ac0fdfb979de318c3f53dc72ca9d0d (diff) | |
| parent | 214cefc96d8b08f5dc62b6eee372d12cb2c62b55 (diff) | |
| download | vimium-a21583edb4a7424ae03a4b7b7313999b04936a6b.tar.bz2 | |
Merge pull request #466 from fernandezpablo85/master
Allow users to hide HUD
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 b26f4dd2..44ab1ab4 100644 --- a/vimiumFrontend.js +++ b/vimiumFrontend.js @@ -1043,6 +1043,7 @@ HUD = { }, show: function(text) { + if (!hudEnabled()) return; clearTimeout(HUD._showForDurationTimerId); HUD.displayElement().innerHTML = text; clearInterval(HUD._tweenId); |