Index: options.js |
=================================================================== |
--- a/options.js |
+++ b/options.js |
@@ -718,7 +718,14 @@ |
function(features) |
{ |
hidePref("show_devtools_panel", !features.devToolsPanel); |
- hidePref("safari_contentblocker", !features.safariContentBlocker); |
+ |
+ // 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"); |
@@ -1080,13 +1087,18 @@ |
switch (message.type) |
{ |
case "app.respond": |
- if (message.action == "addSubscription") |
+ switch (message.action) |
{ |
- var subscription = message.args[0]; |
- var dialog = E("dialog-content-predefined"); |
- dialog.querySelector("h3").textContent = subscription.title || ""; |
- dialog.querySelector(".url").textContent = subscription.url; |
- openDialog("predefined"); |
+ case "addSubscription": |
+ var subscription = message.args[0]; |
+ var dialog = E("dialog-content-predefined"); |
+ dialog.querySelector("h3").textContent = subscription.title || ""; |
+ dialog.querySelector(".url").textContent = subscription.url; |
+ openDialog("predefined"); |
+ break; |
+ case "safariRestartRequired": |
+ E("restart-safari").setAttribute("aria-hidden", !message.args[0]); |
Thomas Greiner
2016/03/31 14:24:57
Why do we even need the background page for that?
Sebastian Noack
2016/03/31 14:45:37
We should only indicate that restarting Safari is
Sebastian Noack
2016/03/31 15:14:31
Frankly, I don't have a strong opinion here. Patch
Thomas Greiner
2016/03/31 16:29:17
I do agree that we should somehow indicate to the
Sebastian Noack
2016/03/31 17:09:24
FWIW, I just begun to prefer the new patch set wit
Thomas Greiner
2016/03/31 17:17:06
You're right.
|
+ break; |
} |
break; |
case "filters.respond": |
@@ -1104,7 +1116,7 @@ |
ext.backgroundPage.sendMessage( |
{ |
type: "app.listen", |
- filter: ["addSubscription"] |
+ filter: ["addSubscription", "safariRestartRequired"] |
}); |
ext.backgroundPage.sendMessage( |
{ |