aboutsummaryrefslogtreecommitdiff
path: root/src/js/chrome
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-06-12 16:41:00 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-06-12 16:41:00 -0700
commitc7b493dcc46ac800ace472a580d5430a1b0c2e41 (patch)
tree1ae2ea9ad7b84b07387d41c2b6ca6c4eccc4366a /src/js/chrome
parent0decef2093c676d91b0b590a9b94f201c4995716 (diff)
Group url patterns with rule set definitions
Diffstat (limited to 'src/js/chrome')
-rw-r--r--src/js/chrome/js/platform-ajax.js2
-rw-r--r--src/js/chrome/js/platform-background.js4
2 files changed, 5 insertions, 1 deletions
diff --git a/src/js/chrome/js/platform-ajax.js b/src/js/chrome/js/platform-ajax.js
index 68ced39..32aac99 100644
--- a/src/js/chrome/js/platform-ajax.js
+++ b/src/js/chrome/js/platform-ajax.js
@@ -20,6 +20,8 @@ fiveui.ajax.get = function(url, options) {
jQuery.ajax(url, {
+ cache: false,
+
dataType: 'text',
success:function(text) {
diff --git a/src/js/chrome/js/platform-background.js b/src/js/chrome/js/platform-background.js
index 6ffecf8..0f92fb5 100644
--- a/src/js/chrome/js/platform-background.js
+++ b/src/js/chrome/js/platform-background.js
@@ -135,13 +135,15 @@ fiveui.chrome.background = function() {
chrome.tabs.onCreated.addListener(function(tab) {
- // console.log('in oncreated');
+ console.log('in oncreated');
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) {
+ console.log('in onupdated');
if (changeInfo.status == 'complete') {
background.pageLoad(tabId, tab.url);
}