| 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") |