| Index: desktop-options.js |
| =================================================================== |
| copy from options.js |
| copy to desktop-options.js |
| --- a/options.js |
| +++ b/desktop-options.js |
| @@ -740,8 +740,19 @@ |
| case "prefs.respond": |
| onPrefMessage(message.action, message.args[0]); |
| break; |
| case "subscriptions.respond": |
| onSubscriptionMessage(message.action, message.args[0]); |
| break; |
| } |
| }); |
| + |
| +$(() => |
| +{ |
| + ext.onMessage.addListener((message, sender, sendResponse) => |
| + { |
| + if (message.type == "ping") |
| + sendResponse(true); |
| + }); |
| + |
| + ext.backgroundPage.sendMessage({type: "ping"}); |
| +}); |