Added user option for multiple frames.

1 files 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