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 | |
| parent | a26812202a43b6879903a3c25a139e45d2da5114 (diff) | |
| download | vimium-2315488e86a01a46fed58773e610c74f0740bac6.tar.bz2 | |
Show the zoom level in the HUD when you increase or decrease it. Closes #15.
| -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); |
