| Index: js/desktop-options.js |
| =================================================================== |
| --- a/js/desktop-options.js |
| +++ b/js/desktop-options.js |
| @@ -237,8 +237,15 @@ |
| { |
| control.setAttribute("aria-checked", item.disabled == false); |
| if (isAcceptableAds(item.url) && this == collections.filterLists) |
| + { |
| control.disabled = true; |
| + } |
| } |
| + getPref("additional_subscriptions", (additionalSubscriptions) => |
| + { |
| + if (additionalSubscriptions.includes(item.url)) |
| + element.classList.add("preconfigured"); |
| + }); |
| let lastUpdateElement = element.querySelector(".last-update"); |
| if (lastUpdateElement) |