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