Vor ein paar Jahren hat Safari eine Option, dieerlaubte Benutzern, alle aktuell geöffneten Registerkarten neu zu laden. Diese Option wurde angezeigt, wenn Benutzer mit der rechten Maustaste auf eine Registerkarte klickten. In nachfolgenden Versionen von macOS wurde diese Option eingestellt. Es ist offensichtlich nicht in der Liste der neuen Funktionen in macOS enthalten, die Apple auf der WWDC vorstellt, aber diejenigen, die es verwendet haben, haben keine Alternativen. Wenn Sie jedoch alle Registerkarten in Safari neu laden müssen und dies häufig tun müssen, können Sie ein einfaches Apple-Skript verwenden.
Laden Sie alle Registerkarten in Safari neu
Öffnen Sie die Automator-App unter macOS. Klicken Sie unten auf die Schaltfläche Neues Dokument. Wählen Sie aus den angezeigten Optionen die Option Dienste aus. Öffnen Sie auf dem nächsten Bildschirm die Dropdown-Liste "Dienst erhält ausgewählt" und wählen Sie "Keine Eingabe". Öffnen Sie anschließend das Dropdown-Menü "In" und wählen Sie "Safari" aus der Liste der Anwendungen aus. Zuletzt wählen Sie in der Bibliothek auf der linken Seite die Option AppleScript ausführen.
Dies öffnet ein Fenster. Fügen Sie das folgende Skript ein, damit es den Standardtext ersetzt.
tell application "Safari" set a to tabs of the front window repeat with x in a set docUrl to URL of x set URL of x to docUrl end repeat end tell
Speichern Sie den Dienst unter einem Namen, der angibt, wofür er bestimmt ist. Als nächstes müssen Sie das Skript in Safari ausführen lassen. Öffnen Sie Safari und gehen Sie in der Menüleiste zu Safari> Einstellungen> Erweitert> Menü Entwickeln anzeigen.
Öffnen Sie das Menü "Entwickeln" in Safari und aktivieren Sie "JavaScripts von Apple Events zulassen".
Bisher haben Sie den Dienst erstellt und alles aktiviert, was für die Ausführung des Dienstes erforderlich ist. Nun kommt der Teil der tatsächlichen Nutzung des Dienstes und warum es wichtig ist, ihnen einen richtigen Namen zu geben.
Öffnen Sie zum Ausführen des Dienstes Safari und rufen Sie das Safari-Menü auf. Unter Dienste sehen Sie dort den gerade erstellten. Klicken Sie darauf, um den Dienst auszuführen und alle Registerkarten in Safari neu zu laden.
Diese Lösung ist offensichtlich nicht so gut wie dieursprüngliche Option, die aus Safari entfernt wurde. Trotzdem werden Sie nicht durch zusätzliche Schritte oder mehr Klicks gezwungen als zuvor. Da dieser Dienst speziell für Safari erstellt wurde, wird er nicht im Untermenü "Dienste" anderer Apps angezeigt. Auch wenn Sie diese Lösung als etwas schwierig empfinden, ist sie immer noch viel besser, als jeden einzelnen Tab, den Sie in Safari geöffnet haben, neu zu laden.
Wenn Sie Chrome unter macOS verwenden, können Sie einfach alle neu zu ladenden Registerkarten auswählen, mit der rechten Maustaste auf eine der Registerkarten klicken und im Kontextmenü die Option Neu laden auswählen.
Bemerkungen