diff options
| author | Phil Crosby | 2009-12-06 16:26:08 -0800 | 
|---|---|---|
| committer | Phil Crosby | 2009-12-06 16:39:02 -0800 | 
| commit | 2315488e86a01a46fed58773e610c74f0740bac6 (patch) | |
| tree | ccc0544f65eb42567228874dfbdd621ca95c46a9 /vimiumFrontend.js | |
| parent | a26812202a43b6879903a3c25a139e45d2da5114 (diff) | |
| download | vimium-2315488e86a01a46fed58773e610c74f0740bac6.tar.bz2 | |
Show the zoom level in the HUD when you increase or decrease it. Closes #15.
Diffstat (limited to 'vimiumFrontend.js')
| -rw-r--r-- | vimiumFrontend.js | 18 | 
1 files changed, 13 insertions, 5 deletions
diff --git a/vimiumFrontend.js b/vimiumFrontend.js index 02dc3b53..876164d2 100644 --- a/vimiumFrontend.js +++ b/vimiumFrontend.js @@ -106,19 +106,21 @@ function saveZoomLevel(domain, zoomLevel) {   * Zoom in increments of 20%; this matches chrome's CMD+ and CMD- keystrokes.   * Set the zoom style on documentElement because document.body does not exist pre-page load.   */ -function setPageZoomLevel(zoomLevel) { +function setPageZoomLevel(zoomLevel, showUINotification) {    document.documentElement.style.zoom = zoomLevel + "%";    HUD.updatePageZoomLevel(zoomLevel); +  if (showUINotification) +    HUD.showForDuration("Zoom: " + currentZoomLevel + "%", 1000);  }  function zoomIn() { -  setPageZoomLevel(currentZoomLevel += 20); +  setPageZoomLevel(currentZoomLevel += 20, true);    saveZoomLevel(window.location.host, currentZoomLevel);  }  function zoomOut() { -  setPageZoomLevel(currentZoomLevel -= 20); -  saveZoomLevel(window.location.host, currentZoomLevel); +  setPageZoomLevel(currentZoomLevel -= 20, true); +  saveZoomLevel(window.location.host, currentZoomLevel, showUINotification);  }  function scrollToBottom() { window.scrollTo(0, document.body.scrollHeight); } @@ -291,7 +293,13 @@ function exitFindMode() {  }  HUD = { -  show:function(text) { +  showForDuration: function(text, duration) { +    HUD.show(text); +    HUD._showForDurationTimerId = setTimeout(function() { HUD.hide(); }, duration); +  }, + +  show: function(text) { +    clearTimeout(HUD._showForDurationTimerId);      HUD.displayElement().innerHTML = text;      if (HUD.displayElement().style.opacity == 0) {        Tween.fade(HUD.displayElement(), 1.0, 150);  | 
