| Index: desktop-options.js |
| =================================================================== |
| --- a/desktop-options.js |
| +++ b/desktop-options.js |
| @@ -1208,17 +1208,17 @@ |
| case "downloading": |
| case "downloadStatus": |
| case "homepage": |
| case "lastDownload": |
| case "title": |
| updateSubscription(subscription); |
| break; |
| case "added": |
| - let {url, recommended} = subscription; |
|
Manish Jethani
2017/10/11 23:48:33
Unrelated, but this was unused.
|
| + let {url} = subscription; |
| // Handle custom subscription |
| if (/^~user/.test(url)) |
| { |
| loadCustomFilters(subscription.filters); |
| return; |
| } |
| else if (url in subscriptionsMap) |
| updateSubscription(subscription); |