TIL: 解决 auto-revert 导致 PDF 闪烁的问题

启用 global-auto-revert-mode 后用 pdf-tools 看 PDF，如果这个 PDF 还在被 LaTeX 反复编译（比如开启了实时预览功能之后），由于auto-revert 会在 TeX 写完之前就去读文件，导致 PDF 闪个不停。

解决方案如下：

(setq global-auto-revert-ignore-modes '(pdf-view-mode))

LaTeX 编译完成后刷新 PDF 这件事，可以交给 TeX-after-compilation-finished-functions 这个 hook 来实现精准刷新：

(add-hook 'TeX-after-compilation-finished-functions
          #'TeX-revert-document-buffer)

参考：Marcin Borkowski - Ignoring pdfs when auto-reverting files（Irreal 摘要）