Moved proof-switch-to-buffer here from proof-script.el

1 files changed, 12 insertions, 0 deletions

diff --git a/generic/proof.el b/generic/proof.el
index b46ec6c2..e97d1fab 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -435,6 +435,18 @@ If proof-show-debug-messages is nil, do nothing."
 	(proof-display-and-keep-buffer proof-response-buffer))))
 
 
+;;; A handy utility function used in the "Buffers" menu.
+(defun proof-switch-to-buffer (buf &optional noselect)
+  "Switch to or display buffer BUF in other window unless already displayed.
+If optional arg NOSELECT is true, don't switch, only display it.
+No action if BUF is nil."
+  ;; Maybe this needs to be more sophisticated, using 
+  ;; proof-display-and-keep-buffer ?
+  (and buf
+       (unless (eq buf (window-buffer (selected-window)))
+	 (if noselect
+	     (display-buffer buf t)
+	   (switch-to-buffer-other-window buf)))))
 
 
 ;; -----------------------------------------------------------------