diff options
| author | Phil Crosby | 2009-12-06 02:31:19 -0800 |
|---|---|---|
| committer | Phil Crosby | 2009-12-06 02:31:19 -0800 |
| commit | 70c6d7b125f543e5a007be6b84c5c60c0c4337e6 (patch) | |
| tree | 83e2edc8e3e6422b2e6fe86c976c0f3f2e47c0c2 /vimiumFrontend.js | |
| parent | d9e808c395c76dd2d453acb99579423a319f90dd (diff) | |
| download | vimium-70c6d7b125f543e5a007be6b84c5c60c0c4337e6.tar.bz2 | |
Style our HUD to match chrome's perfectly. Also avoid zooming it if the page gets zoomed.
Diffstat (limited to 'vimiumFrontend.js')
| -rw-r--r-- | vimiumFrontend.js | 35 |
1 files changed, 26 insertions, 9 deletions
diff --git a/vimiumFrontend.js b/vimiumFrontend.js index c48b5b36..47ad9bd5 100644 --- a/vimiumFrontend.js +++ b/vimiumFrontend.js @@ -106,7 +106,10 @@ 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) { document.documentElement.style.zoom = zoomLevel + "%"; } +function setPageZoomLevel(zoomLevel) { + document.documentElement.style.zoom = zoomLevel + "%"; + HUD.updatePageZoomLevel(zoomLevel); +} function zoomIn() { setPageZoomLevel(currentZoomLevel += 20); @@ -293,27 +296,41 @@ HUD = { HUD.displayElement().style.display = ""; }, + updatePageZoomLevel: function(pageZoomLevel) { + // Since the chrome HUD does not scale with the page's zoom level, neither will this HUD. + HUD.displayElement().style.zoom = (100.0 / pageZoomLevel) * 100 + "%"; + }, + /* * Retrieves the HUD HTML element, creating it if necessary. */ displayElement: function() { if (!HUD._displayElement) { + // This is styled to precisely mimick the chrome HUD. Use the "has_popup_and_link_hud.html" test harness + // to tweak these styles to match Chrome's. One limitation of our HUD display is that it doesn't sit + // on top of horizontal scrollbars like Chrome's HUD does. var element = document.createElement("div"); - element.innerHTML = "howdy"; element.style.position = "fixed"; element.style.bottom = "0px"; - element.style.right = "20px"; - element.style.backgroundColor = " #e5e5e5"; + // Keep this far enough to the right so that it doesn't collide with the "popups blocked" chrome HUD. + element.style.right = "150px"; + element.style.height = "13px"; element.style.maxWidth = "400px"; + element.style.minWidth = "150px"; + element.style.backgroundColor = "#ebebeb"; element.style.fontSize = "11px"; - element.style.padding = "3px"; - element.style.border = "1px solid #cccccc"; - element.style.borderBottomWidth = "0px"; - // element.style.fontFamily = "monospace"; + element.style.padding = "3px 3px 2px 3px"; + element.style.border = "1px solid #b3b3b3"; + element.style.borderRadius = "4px 4px 0 0"; + element.style.fontFamily = "Lucida Grande"; + element.style.textShadow = "0px 1px 2px #FFF"; + element.style.display = "none"; + document.body.appendChild(element); HUD._displayElement = element + HUD.updatePageZoomLevel(currentZoomLevel); } - return HUD._displayElement + return HUD._displayElement; }, hide: function() { |
