From 5bc59344abc481348097f673f75f60e1727b84ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 15:09:44 +0000
Subject: Added user option for multiple frames.

---
 generic/proof-config.el | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 7298e7b8..1f95e35a 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -173,6 +173,15 @@ experienced Emacs users."
   :type 'boolean 
   :group 'proof-user-options)
 
+(defcustom proof-multiple-frames-enable nil
+  "*Whether response and goals buffers have separate frames.
+If non-nil, Emacs will make separate frames (screen windows) for
+the goals and response buffers, by altering the variable
+`special-display-regexps'."  
+  :type 'boolean 
+  :set 'proof-set-bool
+  :group 'proof-user-options)
+
 (defcustom proof-auto-delete-windows 
   nil
   "*If non-nil, automatically remove windows when they are cleaned.
@@ -1663,12 +1672,6 @@ X-Symbol support is deactivated."
 
 
 
-
-
-
-
-
-
 
 ;;
 ;; 9. Global constants
-- 
cgit v1.2.3