| Index: options.js | 
| =================================================================== | 
| --- a/options.js | 
| +++ b/options.js | 
| @@ -89,18 +89,16 @@ function loadOptions() | 
| function onMessage(msg) | 
| { | 
| switch (msg.type) | 
| { | 
| case "add-subscription": | 
| startSubscriptionSelection(msg.title, msg.url); | 
| break; | 
| - default: | 
| 
 
Sebastian Noack
2014/12/19 17:57:53
While changing this code, mind changing the verbos
 
Wladimir Palant
2014/12/19 19:38:42
Done.
 
 | 
| - console.log("got unexpected message: " + msg.type); | 
| } | 
| }; | 
| // Reloads the displayed subscriptions and filters | 
| function reloadFilters() | 
| { | 
| // Load user filter URLs | 
| var container = document.getElementById("filterLists"); |