aboutsummaryrefslogtreecommitdiffstats
path: root/vimiumFrontend.js
diff options
context:
space:
mode:
authorPhil Crosby2009-12-06 16:26:08 -0800
committerPhil Crosby2009-12-06 16:39:02 -0800
commit2315488e86a01a46fed58773e610c74f0740bac6 (patch)
treeccc0544f65eb42567228874dfbdd621ca95c46a9 /vimiumFrontend.js
parenta26812202a43b6879903a3c25a139e45d2da5114 (diff)
downloadvimium-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.js18
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);