Index: ext/background.js |
=================================================================== |
--- a/ext/background.js |
+++ b/ext/background.js |
@@ -116,34 +116,16 @@ |
callback(new Page(openedTab)); |
} |
}; |
chrome.tabs.onUpdated.addListener(onUpdated); |
}; |
} |
ext.pages = { |
- query(info, callback) |
- { |
- let rawInfo = {}; |
- for (let property in info) |
- { |
- switch (property) |
- { |
- case "active": |
- case "lastFocusedWindow": |
- rawInfo[property] = info[property]; |
- } |
- } |
- |
- chrome.tabs.query(rawInfo, tabs => |
- { |
- callback(tabs.map(tab => new Page(tab))); |
- }); |
- }, |
onLoading: new ext._EventTarget(), |
onActivated: new ext._EventTarget(), |
onRemoved: new ext._EventTarget() |
}; |
chrome.tabs.onUpdated.addListener((tabId, changeInfo, tab) => |
{ |
if (changeInfo.status == "loading") |