%3F.png)
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.