Créez un raccourci pour activer/désactiver JavaScript avec Safari 17.0

Il y avait autrefois le réglage com.apple.Safari.ContentPageGroupIdentifier.WebKit2JavaScriptEnabled, mais cela semble avoir disparu avant Safari 17. En guise de substitut, nous pouvons utiliser AppleScript pour faire du scripting GUI. Ce n'est pas idéal, mais cela fonctionne.

Voici un lien vers le Raccourci; vous pouvez modifier la combinaison de touches comme vous le souhaitez en cliquant sur "Actions Rapides" et en modifiant la combinaison de touches "Exécuter avec" :

Voici également une version copiable de l'AppleScript :

tell application "System Events"
    tell application process "Safari"
        set frontmost to true
        keystroke "," using command down
        tell window 1
            click button "Security" of toolbar 1 of it
            click checkbox 1 of group 1 of group 1 of it
            keystroke "w" using command down
        end tell
    end tell
end tell

Notez que vous devrez peut-être accorder l'autorisation à siriactionsd et à l'Éditeur de Scripts pour contrôler votre ordinateur dans les Paramètres Système Sécurité et Confidentialité Accessibilité :