diff options
| author | Phil Crosby | 2012-02-15 14:53:04 -0800 |
|---|---|---|
| committer | Phil Crosby | 2012-02-15 14:53:04 -0800 |
| commit | 157bf9163166f9b8b8a78321cf69217cd1975f9c (patch) | |
| tree | 870212d3681ae0ae2dbb71df964e0e5a2fb4397d /vimiumFrontend.js | |
| parent | a21583edb4a7424ae03a4b7b7313999b04936a6b (diff) | |
| download | vimium-157bf9163166f9b8b8a78321cf69217cd1975f9c.tar.bz2 | |
Fix the hudEnabled logic to work with the new settings framework.
Diffstat (limited to 'vimiumFrontend.js')
| -rw-r--r-- | vimiumFrontend.js | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/vimiumFrontend.js b/vimiumFrontend.js index 44ab1ab4..40efc5f1 100644 --- a/vimiumFrontend.js +++ b/vimiumFrontend.js @@ -1043,7 +1043,7 @@ HUD = { }, show: function(text) { - if (!hudEnabled()) return; + if (!HUD.enabled()) return; clearTimeout(HUD._showForDurationTimerId); HUD.displayElement().innerHTML = text; clearInterval(HUD._tweenId); @@ -1113,7 +1113,11 @@ HUD = { this.isShowing = false; }, - isReady: function() { return document.body != null; } + isReady: function() { return document.body != null; }, + + /* A preference which can be toggled in the Options page. */ + enabled: function() { return settings.get("hideHud") !== "true"; } + }; Tween = { |