diff options
| author | Phil Crosby | 2010-05-18 01:45:56 -0700 |
|---|---|---|
| committer | Phil Crosby | 2010-05-18 01:45:56 -0700 |
| commit | 0b2b70db8ce293185ed35bb1d7a99c48185e7ea1 (patch) | |
| tree | d53f29a0713498f92d0f4073420238d35e8c1ad9 /background_page.html | |
| parent | a35345455bb83999837bb8109d780458d8c6aa2f (diff) | |
| download | vimium-0b2b70db8ce293185ed35bb1d7a99c48185e7ea1.tar.bz2 | |
Add a link to the Options page in the vimium help dialog. Closes #87.
Diffstat (limited to 'background_page.html')
| -rw-r--r-- | background_page.html | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/background_page.html b/background_page.html index e2252b4d..e85dd7d6 100644 --- a/background_page.html +++ b/background_page.html @@ -2,7 +2,7 @@ <head> <script type="text/javascript" src="commands.js"/> <script type="text/javascript" charset="utf-8"> - // Chromium #15242 will make this XHR request unnecessary. + // Chromium #15242 will make this XHR request to access the manifest unnecessary. var manifestRequest = new XMLHttpRequest(); manifestRequest.open("GET", chrome.extension.getURL("manifest.json"), false); manifestRequest.send(null); @@ -64,6 +64,7 @@ var sendRequestHandlers = { getCompletionKeys: getCompletionKeys, getLinkHintCss: getLinkHintCss, + openOptionsPageInNewTab: openOptionsPageInNewTab, upgradeNotificationClosed: upgradeNotificationClosed, updateScrollPosition: handleUpdateScrollPosition }; @@ -573,6 +574,12 @@ return compareVersions(currentVersion, localStorage.previousVersion) == 1; } + function openOptionsPageInNewTab() { + chrome.tabs.getSelected(null, function(tab) { + chrome.tabs.create({ url: chrome.extension.getURL("options.html"), index: tab.index + 1 }); + }); + } + function init() { clearKeyMappingsAndSetDefaults(); |