diff options
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 = { |