| 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 */ |