diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-17 15:48:35 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-17 15:48:35 -0700 |
| commit | 31571c189559c0c8e3247401c358dd7cd0b93734 (patch) | |
| tree | b34f9bf8b944fb19cc66b130e96798f4e7115c47 /src/js | |
| parent | 27e7d5dbd6d6510df67b72f193fbdaaf7e837e59 (diff) | |
Fix the strange phantom ui box
The onCreated event wasn't actually useful for us to pay attention to, as
it would fire just before an onUpdated event on the same page.
Diffstat (limited to 'src/js')
| -rw-r--r-- | src/js/chrome/js/platform-background.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/js/chrome/js/platform-background.js b/src/js/chrome/js/platform-background.js index e736a60..4e7024d 100644 --- a/src/js/chrome/js/platform-background.js +++ b/src/js/chrome/js/platform-background.js @@ -131,13 +131,6 @@ fiveui.chrome.background = function() { background.connect(tabId, port, url, chPort.name == 'ui'); }); - - chrome.tabs.onCreated.addListener(function(tab) { - if (tab.url) { - background.pageLoad(tab.id, tab.url); - } - }); - // check page load events against the generic background chrome.tabs.onUpdated.addListener(function(tabId, changeInfo, tab) { if (changeInfo.status == 'complete') { |