| Index: js/desktop-options.js |
| =================================================================== |
| --- a/js/desktop-options.js |
| +++ b/js/desktop-options.js |
| @@ -468,7 +468,6 @@ |
| updateFilter(filter); |
| setCustomFiltersView("read"); |
| - isCustomFiltersLoaded = true; |
| } |
| function removeCustomFilter(text) |
| @@ -1156,7 +1155,12 @@ |
| }, |
| (filters) => |
| { |
| + // Reset each time as there might be several custom filters |
| + if (isCustomFiltersLoaded) |
| + isCustomFiltersLoaded = false; |
| + |
| loadCustomFilters(filters); |
| + isCustomFiltersLoaded = true; |
| }); |
| } |
| }); |