mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-02-17 18:37:33 +00:00
(makeinfo-compilation-sentinel):
Display the output buffer in a more intelligent way.
This commit is contained in:
parent
7ad0c1c321
commit
e04fd7a4ff
1 changed files with 8 additions and 4 deletions
|
|
@ -193,10 +193,14 @@ command to gain use of `next-error'."
|
|||
(if (and makeinfo-temp-file (file-exists-p makeinfo-temp-file))
|
||||
(delete-file makeinfo-temp-file))
|
||||
;; Always use the version on disk.
|
||||
(if (get-file-buffer makeinfo-output-file-name)
|
||||
(progn (set-buffer makeinfo-output-file-name)
|
||||
(revert-buffer t t))
|
||||
(find-file makeinfo-output-file-name))
|
||||
(let ((buffer (get-file-buffer makeinfo-output-file-name)))
|
||||
(if buffer
|
||||
(with-current-buffer buffer
|
||||
(revert-buffer t t))
|
||||
(setq buffer (find-file-noselect makeinfo-output-file-name)))
|
||||
(if (window-dedicated-p (selected-window))
|
||||
(switch-to-buffer-other-window buffer)
|
||||
(switch-to-buffer buffer)))
|
||||
(goto-char (point-min)))
|
||||
|
||||
(defun makeinfo-buffer ()
|
||||
|
|
|
|||
Loading…
Reference in a new issue