Есть ли способ уменьшить интервал между компиляцией и моментом, когда Skim обновляет отображение соответствующего PDF? Кажется, это занимает гораздо больше времени, чем на моей старой машине Windows Vista с MiKTeX и Sumatra PDF.
Для справки: я использую macOS High Sierra и Aquamacs с AucTeX и TeXLive.