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