| 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"}); | 
| +}); | 
|  |