| Index: chrome/ext/background.js |
| diff --git a/chrome/ext/background.js b/chrome/ext/background.js |
| index a0bf9d1052c51cabfe8de981fb9fd06ba6becc2d..0d6ca449c0f2f3edae9422e1f4343a086109beb5 100644 |
| --- a/chrome/ext/background.js |
| +++ b/chrome/ext/background.js |
| @@ -99,7 +99,8 @@ |
| })); |
| }); |
| }, |
| - onLoading: new ext._EventTarget() |
| + onLoading: new ext._EventTarget(), |
| + onActivated: new ext._EventTarget() |
| }; |
| chrome.tabs.onUpdated.addListener(function(tabId, changeInfo, tab) |
| @@ -148,6 +149,11 @@ |
| chrome.tabs.onRemoved.addListener(forgetTab); |
| + chrome.tabs.onActivated.addListener(details => |
| + { |
| + ext.pages.onActivated._dispatch(new Page({id: details.tabId})); |
| + }); |
| + |
| /* Browser actions */ |