summaryrefslogtreecommitdiff
path: root/lisp
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2018-09-25 07:09:11 +0200
committerAndreas Politz <politza@hochschule-trier.de>2018-09-25 07:16:02 +0200
commitd0d9e6c89e561419fa2c97652970e4e2df5e1b66 (patch)
tree41af1b90e336c2015de82394f539671b4c6a5c5d /lisp
parent61cff64edd177eeb26d067108f4337ef5293a5a5 (diff)
Silence reading of the synctex.gz file
Diffstat (limited to 'lisp')
-rw-r--r--lisp/pdf-sync.el10
1 files changed, 7 insertions, 3 deletions
diff --git a/lisp/pdf-sync.el b/lisp/pdf-sync.el
index 5feb102..006d409 100644
--- a/lisp/pdf-sync.el
+++ b/lisp/pdf-sync.el
@@ -761,11 +761,15 @@ The first such filename is returned, or nil if none was found."
(let* ((synctex (pdf-sync-locate-synctex-file pdffile))
(basename (file-name-nondirectory filename))
(regexp (format "^ *Input *: *[^:\n]+ *:\\(.*%s\\)$"
- (regexp-quote basename))))
+ (regexp-quote basename)))
+ (jka-compr-verbose nil))
(when (and synctex
(file-readable-p synctex))
- (with-current-buffer (let ((revert-without-query (list "")))
- (find-file-noselect synctex))
+ (with-current-buffer (find-file-noselect synctex :nowarn)
+ (unless (or (verify-visited-file-modtime)
+ (buffer-modified-p))
+ (revert-buffer :ignore-auto :noconfirm)
+ (goto-char (point-min)))
;; Keep point in front of the found filename. It will
;; probably be queried for again next time.
(let ((beg (point))