| Index: new-options.js |
| diff --git a/new-options.js b/new-options.js |
| index e0f145668bf357d6dc7ff513f3137b5104b5c5af..2586926a194dc1a010cd2fbf934f7aad233ae2b9 100644 |
| --- a/new-options.js |
| +++ b/new-options.js |
| @@ -800,14 +800,6 @@ |
| function(features) |
| { |
| hidePref("show_devtools_panel", !features.devToolsPanel); |
| - |
| - // Only show option to switch between Safari Content Blockers |
| - // and event based blocking if both are available. |
| - hidePref("safari_contentblocker", !( |
| - features.safariContentBlocker && |
| - "canLoad" in safari.self.tab && |
| - "onbeforeload" in Element.prototype |
| - )); |
| }); |
| var filterTextbox = document.querySelector("#custom-filters-add input"); |
| @@ -1114,10 +1106,6 @@ |
| case "notifications_showui": |
| hidePref("notifications_ignoredcategories", !value); |
| break; |
| - |
| - case "safari_contentblocker": |
| - E("restart-safari").setAttribute("aria-hidden", value || initial); |
| - break; |
| } |
| var checkbox = document.querySelector("[data-pref='" + key + "'] button[role='checkbox']"); |
| @@ -1272,8 +1260,7 @@ |
| { |
| type: "prefs.listen", |
| filter: ["notifications_ignoredcategories", "notifications_showui", |
| - "safari_contentblocker", "show_devtools_panel", |
| - "shouldShowBlockElementMenu"] |
| + "show_devtools_panel", "shouldShowBlockElementMenu"] |
| }); |
| ext.backgroundPage.sendMessage( |
| { |