diff options
| author | Jez Ng | 2012-07-03 02:17:34 -0700 | 
|---|---|---|
| committer | Jez Ng | 2012-07-03 02:19:17 -0700 | 
| commit | d6f61c7be63bbe8b3ee455a46614012991f55379 (patch) | |
| tree | 5d78c6ad7821837a5439cce36fed1f0a5ad4f151 | |
| parent | 398e1063d711c27fc8978b7db70e6f990d11f25e (diff) | |
| download | vimium-d6f61c7be63bbe8b3ee455a46614012991f55379.tar.bz2 | |
Fix bookmarklets. Closes #557.
| -rw-r--r-- | content_scripts/vomnibar.coffee | 11 | 
1 files changed, 6 insertions, 5 deletions
| diff --git a/content_scripts/vomnibar.coffee b/content_scripts/vomnibar.coffee index a9a5af26..df9d89b9 100644 --- a/content_scripts/vomnibar.coffee +++ b/content_scripts/vomnibar.coffee @@ -200,11 +200,12 @@ extend BackgroundCompleter,      navigateToUrl: (url, openInNewTab) ->        # If the URL is a bookmarklet prefixed with javascript:, we shouldn't open that in a new tab.        if (url.indexOf("javascript:") == 0) -        openInNewTab = false -      chrome.extension.sendRequest( -        handler: if openInNewTab then "openUrlInNewTab" else "openUrlInCurrentTab" -        url: url, -        selected: openInNewTab) +        window.location = url +      else +        chrome.extension.sendRequest( +          handler: if openInNewTab then "openUrlInNewTab" else "openUrlInCurrentTab" +          url: url, +          selected: openInNewTab)      switchToTab: (tabId) -> chrome.extension.sendRequest({ handler: "selectSpecificTab", id: tabId }) | 
