1 function show(enabled
, useSettingsInsteadOfPreferences
) {
2 if (useSettingsInsteadOfPreferences
) {
3 document
.getElementsByClassName("state-on")[0].innerText
=
4 "Junction’s extension is currently on. You can turn it off in the Extensions section of Safari Settings.";
5 document
.getElementsByClassName("state-off")[0].innerText
=
6 "Junction’s extension is currently off. You can turn it on in the Extensions section of Safari Settings.";
7 document
.getElementsByClassName("state-unknown")[0].innerText
=
8 "You can turn on Junction’s extension in the Extensions section of Safari Settings.";
9 document
.getElementsByClassName("open-preferences")[0].innerText
=
10 "Quit and Open Safari Settings…";
13 if (typeof enabled
=== "boolean") {
14 document
.body
.classList
.toggle(`state-on`, enabled
);
15 document
.body
.classList
.toggle(`state-off`, !enabled
);
17 document
.body
.classList
.remove(`state-on`);
18 document
.body
.classList
.remove(`state-off`);
22 function openPreferences() {
23 webkit
.messageHandlers
.controller
.postMessage("open-preferences");
27 .querySelector("button.open-preferences")
28 .addEventListener("click", openPreferences
);