mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-04-30 10:11:47 -07:00
(compilation-revert-buffer): If buffer has a file, revert it in the normal way.
This commit is contained in:
parent
be28f1a745
commit
9ed2ab9fca
1 changed files with 5 additions and 2 deletions
|
|
@ -1245,8 +1245,11 @@ Runs `compilation-mode-hook' with `run-hooks' (which see)."
|
|||
(run-hooks 'compilation-mode-hook))
|
||||
|
||||
(defun compilation-revert-buffer (ignore-auto noconfirm)
|
||||
(if (or noconfirm (yes-or-no-p (format "Restart compilation? ")))
|
||||
(apply 'compile-internal compilation-arguments)))
|
||||
(if buffer-file-name
|
||||
(let (revert-buffer-function)
|
||||
(revert-buffer ignore-auto noconfirm preserve-modes))
|
||||
(if (or noconfirm (yes-or-no-p (format "Restart compilation? ")))
|
||||
(apply 'compile-internal compilation-arguments))))
|
||||
|
||||
(defun compilation-setup ()
|
||||
"Prepare the buffer for the compilation parsing commands to work."
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue