mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-06 06:20:55 -08:00
; Use an uninterned symbol in the inhibit-auto-revert expansion.
This commit is contained in:
parent
811d575336
commit
be316dc1c7
1 changed files with 16 additions and 15 deletions
|
|
@ -781,22 +781,23 @@ If the buffer needs to be reverted, do it now."
|
||||||
"Deactivate auto-reverting of current buffer temporarily.
|
"Deactivate auto-reverting of current buffer temporarily.
|
||||||
Run BODY."
|
Run BODY."
|
||||||
(declare (indent 0) (debug (body)))
|
(declare (indent 0) (debug (body)))
|
||||||
`(progn
|
(let ((buf (make-symbol "buf")))
|
||||||
;; Cleanup.
|
`(progn
|
||||||
(dolist (buf inhibit-auto-revert-buffers)
|
;; Cleanup.
|
||||||
(unless (buffer-live-p buf)
|
(dolist (,buf inhibit-auto-revert-buffers)
|
||||||
(setq inhibit-auto-revert-buffers
|
(unless (buffer-live-p ,buf)
|
||||||
(delq buf inhibit-auto-revert-buffers))))
|
|
||||||
(let ((iar-buf
|
|
||||||
(and (not (memq (current-buffer) inhibit-auto-revert-buffers))
|
|
||||||
(current-buffer))))
|
|
||||||
(unwind-protect
|
|
||||||
(progn
|
|
||||||
(when iar-buf (add-to-list 'inhibit-auto-revert-buffers iar-buf))
|
|
||||||
,@body)
|
|
||||||
(when iar-buf
|
|
||||||
(setq inhibit-auto-revert-buffers
|
(setq inhibit-auto-revert-buffers
|
||||||
(delq iar-buf inhibit-auto-revert-buffers))))))))
|
(delq ,buf inhibit-auto-revert-buffers))))
|
||||||
|
(let ((,buf
|
||||||
|
(and (not (memq (current-buffer) inhibit-auto-revert-buffers))
|
||||||
|
(current-buffer))))
|
||||||
|
(unwind-protect
|
||||||
|
(progn
|
||||||
|
(when ,buf (add-to-list 'inhibit-auto-revert-buffers ,buf))
|
||||||
|
,@body)
|
||||||
|
(when ,buf
|
||||||
|
(setq inhibit-auto-revert-buffers
|
||||||
|
(delq ,buf inhibit-auto-revert-buffers)))))))))
|
||||||
|
|
||||||
(defun auto-revert-active-p ()
|
(defun auto-revert-active-p ()
|
||||||
"Check if auto-revert is active in current buffer."
|
"Check if auto-revert is active in current buffer."
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue