diff options
| author | gorhill <rhill@raymondhill.net> | 2015-01-06 08:01:15 -0500 |
|---|---|---|
| committer | gorhill <rhill@raymondhill.net> | 2015-01-06 08:01:15 -0500 |
| commit | 1597ce7fd91880b92f25b361167b3455d891a29a (patch) | |
| tree | 63d907bb0673a1b2e3e3cb7f859b3f0781f16cb6 /platform/chromium/vapi-background.js | |
| parent | 81e035589b3be6f03fa87dd47f5cd2b6ed0d9bf1 (diff) | |
| download | uBlock-1597ce7fd91880b92f25b361167b3455d891a29a.zip uBlock-1597ce7fd91880b92f25b361167b3455d891a29a.tar.gz uBlock-1597ce7fd91880b92f25b361167b3455d891a29a.tar.bz2 | |
lot of work related to dynamic filtering + new net requests logger
Diffstat (limited to 'platform/chromium/vapi-background.js')
| -rw-r--r-- | platform/chromium/vapi-background.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/platform/chromium/vapi-background.js b/platform/chromium/vapi-background.js index 6d4ff02..76b25bf 100644 --- a/platform/chromium/vapi-background.js +++ b/platform/chromium/vapi-background.js @@ -208,6 +208,15 @@ vAPI.tabs.remove = function(tabId) { /******************************************************************************/ +vAPI.tabs.reload = function(tabId, flags) { + if ( typeof tabId === 'string' ) { + tabId = parseInt(tabId, 10); + } + chrome.tabs.reload(tabId); +}; + +/******************************************************************************/ + vAPI.tabs.injectScript = function(tabId, details, callback) { var onScriptExecuted = function() { // https://code.google.com/p/chromium/issues/detail?id=410868#c8 |