aboutsummaryrefslogtreecommitdiff
path: root/src/js/chrome
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-14 10:18:00 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-14 10:18:00 -0700
commitef740f9e1cd29ec2f72ad9b900ccbb3b317093dc (patch)
treecc736afb7ff1b1d370059d9f2863586c541a7e27 /src/js/chrome
parentc943aafa37b606fb1b73f824404ec4b0dd79265a (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.js4
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);
}