implemented new buffer model. The goals buffer is now exclusively

reserved for goals.

1 files changed, 12 insertions, 0 deletions

diff --git a/generic/proof.el b/generic/proof.el
index 16149937..1d6580bc 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -103,6 +103,18 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
       ;; 
       (insert "\n"))))
 
+(defun proof-display-and-keep-buffer (buffer)
+  "Display BUFFER and mark window as dedicated."
+  (display-buffer buffer)
+  (set-window-dedicated-p (get-buffer-window buffer) 'dedicated))
+
+(defun proof-clean-buffer (buffer)
+  "Erase buffer and hide from display."
+  (save-excursion
+    (set-buffer buffer)
+    (erase-buffer))
+  (delete-windows-on buffer))
+
 ;;;
 ;;; Global variables
 ;;;