changeset 42429:3bdd11464124

(makeinfo-compilation-sentinel): Display the output buffer in a more intelligent way.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Dec 2001 19:33:13 +0000
parents 84a1eb240549
children db303f307b7a
files lisp/textmodes/makeinfo.el
diffstat 1 files changed, 8 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/textmodes/makeinfo.el	Sun Dec 30 17:08:39 2001 +0000
+++ b/lisp/textmodes/makeinfo.el	Sun Dec 30 19:33:13 2001 +0000
@@ -193,10 +193,14 @@
   (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 ()