diff options
| author | Phil Crosby | 2011-07-29 23:49:25 -0700 |
|---|---|---|
| committer | Phil Crosby | 2011-07-29 23:49:25 -0700 |
| commit | dc114c168740212670021ec39a097371bd35b3ed (patch) | |
| tree | cd59aac7dff5b080d07ec41d26237b5db35bc1e7 /background_page.html | |
| parent | 9a7a2eff94d67aac307c6e20ec90270165ef05b2 (diff) | |
| download | vimium-dc114c168740212670021ec39a097371bd35b3ed.tar.bz2 | |
Remove the zooming functionality. It conflict's with Chrome's native zooming and doesn't work as well.
Now that Chrome saves your zoom settings, there's no need for our own zoom implementation.
This also fixes #370.
Diffstat (limited to 'background_page.html')
| -rw-r--r-- | background_page.html | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/background_page.html b/background_page.html index 5de86bca..77e36bb6 100644 --- a/background_page.html +++ b/background_page.html @@ -25,7 +25,6 @@ var defaultSettings = { scrollStepSize: 60, - defaultZoomLevel: 100, linkHintCharacters: "sadfjklewcmpgh", filterLinkHints: false, userDefinedLinkHintCss: @@ -64,8 +63,6 @@ keyDown: handleKeyDown, returnScrollPosition: handleReturnScrollPosition, getCurrentTabUrl: getCurrentTabUrl, - getZoomLevel: getZoomLevel, - saveZoomLevel: saveZoomLevel, getSetting: getSetting, getBookmarks: getBookmarks }; @@ -159,17 +156,6 @@ localStorage["helpDialog_showAdvancedCommands"] = request.showAdvancedCommands; } - /* - * Returns the previously saved zoom level for the current tab, or the default zoom level - */ - function getZoomLevel(args, port) { - var returnPort = chrome.tabs.connect(port.tab.id, { name: "returnZoomLevel" }); - var localStorageKey = "zoom" + args.domain; - var zoomLevelForDomain = (localStorage[localStorageKey] || "").split(",")[1]; - var zoomLevel = parseInt(zoomLevelForDomain || getSettingFromLocalStorage("defaultZoomLevel")); - returnPort.postMessage({ zoomLevel: zoomLevel }); - } - function showHelp(callback, frameId) { chrome.tabs.getSelected(null, function(tab) { chrome.tabs.sendRequest(tab.id, @@ -319,16 +305,6 @@ } } - /* - * Persists the current zoom level for a given domain - */ - function saveZoomLevel(args) { - var localStorageKey = "zoom" + args.domain; - // TODO(philc): We might want to consider expiring these entries after X months as NoSquint does. - // Note(philc): We might also want to jsonify this hash instead of polluting our local storage keyspace. - localStorage[localStorageKey] = [getCurrentTimeInSeconds(), args.zoomLevel].join(","); - } - function getCurrentTimeInSeconds() { Math.floor((new Date()).getTime() / 1000); } chrome.tabs.onSelectionChanged.addListener(function(tabId, selectionInfo) { |
