From 4a191e8036581893bf5f4cfb284770d1bfe9a807 Mon Sep 17 00:00:00 2001 From: Ruben Beltran del Rio Date: Wed, 13 Sep 2023 18:39:01 +0200 Subject: Add safari code --- safari/Junction/Resources/Script.js | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 safari/Junction/Resources/Script.js (limited to 'safari/Junction/Resources/Script.js') diff --git a/safari/Junction/Resources/Script.js b/safari/Junction/Resources/Script.js new file mode 100644 index 0000000..f551e6b --- /dev/null +++ b/safari/Junction/Resources/Script.js @@ -0,0 +1,22 @@ +function show(enabled, useSettingsInsteadOfPreferences) { + if (useSettingsInsteadOfPreferences) { + document.getElementsByClassName('state-on')[0].innerText = "Junction’s extension is currently on. You can turn it off in the Extensions section of Safari Settings."; + document.getElementsByClassName('state-off')[0].innerText = "Junction’s extension is currently off. You can turn it on in the Extensions section of Safari Settings."; + document.getElementsByClassName('state-unknown')[0].innerText = "You can turn on Junction’s extension in the Extensions section of Safari Settings."; + document.getElementsByClassName('open-preferences')[0].innerText = "Quit and Open Safari Settings…"; + } + + if (typeof enabled === "boolean") { + document.body.classList.toggle(`state-on`, enabled); + document.body.classList.toggle(`state-off`, !enabled); + } else { + document.body.classList.remove(`state-on`); + document.body.classList.remove(`state-off`); + } +} + +function openPreferences() { + webkit.messageHandlers.controller.postMessage("open-preferences"); +} + +document.querySelector("button.open-preferences").addEventListener("click", openPreferences); -- cgit