Aktualisierungszeit für die Skim-App verkürzen (macOS High Sierra)?

Aktualisierungszeit für die Skim-App verkürzen (macOS High Sierra)?

Gibt es eine Möglichkeit, das Intervall zwischen der Kompilierung und dem Zeitpunkt, an dem Skim die Anzeige der entsprechenden PDF-Datei aktualisiert, zu verkürzen? Es scheint deutlich länger zu dauern als auf meinem alten Windows Vista-Rechner mit MiKTeX und Sumatra PDF.

Als Referenz verwende ich macOS High Sierra und Aquamacs mit AucTeX und TeXLive.

verwandte Informationen