diff options
| author | mrmr1993 | 2015-04-24 12:16:36 +0100 |
|---|---|---|
| committer | mrmr1993 | 2015-04-24 14:39:40 +0100 |
| commit | b3986dcd68a9383b3552ffb99c13c19e94bd08e4 (patch) | |
| tree | 0145d53ef941c52e53ed654ec552ee21b0041337 /manifest.json | |
| parent | 8a659af44a8205f39e4c0e04146978447ca3f38e (diff) | |
| download | vimium-b3986dcd68a9383b3552ffb99c13c19e94bd08e4.tar.bz2 | |
Re-check enabled state after history.pushState/location.hash is changed
This uses the chrome.webRequest API to detect changes to page URL which
*do not* cause the content script to refresh.
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manifest.json b/manifest.json index 4ba222fb..e8e51407 100644 --- a/manifest.json +++ b/manifest.json @@ -28,6 +28,7 @@ "storage", "sessions", "notifications", + "webNavigation", "<all_urls>" ], "content_scripts": [ |