diff options
| -rw-r--r-- | generic/proof.el | 12 |
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))))) ;; ----------------------------------------------------------------- |