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) |
saroyanm
2018/03/01 21:52:34
I wonder if I also should consider the case of rem
Thomas Greiner
2018/03/02 11:33:35
This if-statement is redundant because in the CSS
Thomas Greiner
2018/03/02 11:33:36
You're right that we should also consider other pl
saroyanm
2018/03/02 13:50:29
Done.
saroyanm
2018/03/02 13:50:29
Done. I moved implementation out of the for loop,
|
+ { |
+ // List preinstalled by administrators |
Thomas Greiner
2018/03/02 11:33:35
Detail: This is already documented under https://h
saroyanm
2018/03/02 13:50:29
Done.
|
+ getPref("additional_subscriptions", (additionalSubscriptions) => |
+ { |
+ if (additionalSubscriptions.includes(item.url)) |
+ element.classList.add("non-removable"); |
Thomas Greiner
2018/03/02 11:33:35
Detail: What about keeping the name more objective
saroyanm
2018/03/02 13:50:29
Done.
|
+ }); |
+ } |
} |
let lastUpdateElement = element.querySelector(".last-update"); |