diff options
author | Trevor Elliott <trevor@galois.com> | 2013-06-14 10:18:00 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-06-14 10:18:00 -0700 |
commit | ef740f9e1cd29ec2f72ad9b900ccbb3b317093dc (patch) | |
tree | cc736afb7ff1b1d370059d9f2863586c541a7e27 /src/js/chrome | |
parent | c943aafa37b606fb1b73f824404ec4b0dd79265a (diff) |
Remove some debugging messages from the chrome background.js
Diffstat (limited to 'src/js/chrome')
-rw-r--r-- | src/js/chrome/js/platform-background.js | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/js/chrome/js/platform-background.js b/src/js/chrome/js/platform-background.js index 0f92fb5..e736a60 100644 --- a/src/js/chrome/js/platform-background.js +++ b/src/js/chrome/js/platform-background.js @@ -58,8 +58,6 @@ fiveui.chrome.background = function() { var script = scripts.shift(); - // console.log('injecting: ' + script); - if (/css$/.test(script)) { chrome.tabs.insertCSS(tabid, { 'file' : script }, next); } else { @@ -135,7 +133,6 @@ fiveui.chrome.background = function() { chrome.tabs.onCreated.addListener(function(tab) { - console.log('in oncreated'); if (tab.url) { background.pageLoad(tab.id, tab.url); } @@ -143,7 +140,6 @@ fiveui.chrome.background = function() { // check page load events against the generic background chrome.tabs.onUpdated.addListener(function(tabId, changeInfo, tab) { - console.log('in onupdated'); if (changeInfo.status == 'complete') { background.pageLoad(tabId, tab.url); } |