| 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; |
| } |
| }); |
| + |
| +$(() => |
|
Sebastian Noack
2017/10/02 01:47:07
So I guess this code isn't necessary anymore?
Manish Jethani
2017/10/02 08:03:12
Sorry about that, done.
|
| +{ |
| + ext.onMessage.addListener((message, sender, sendResponse) => |
| + { |
| + if (message.type == "ping") |
| + sendResponse(true); |
| + }); |
| + |
| + ext.backgroundPage.sendMessage({type: "ping"}); |
| +}); |