Index: background.js |
=================================================================== |
--- a/background.js |
+++ b/background.js |
@@ -392,16 +392,27 @@ |
modules.subscriptionInit = { |
reinitialized: params.filterlistsReinitialized |
}; |
modules.messaging = { |
port: new EventEmitter() |
}; |
+ modules.options = { |
+ showOptions(callback) |
+ { |
+ if (!/\/options\.html\b/.test(top.location.href)) |
+ window.open("options.html", "_blank"); |
+ |
+ if (callback) |
+ callback(); |
+ } |
+ }; |
+ |
window.addEventListener("message", (event) => |
{ |
if (event.data.type != "message") |
return; |
let message = event.data.payload; |
let {messageId} = event.data; |
let sender = { |
page: new ext.Page(event.source) |