From 25a19f8422e4bb755d06c6507c6a34f981772004 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 31 Aug 2012 15:24:40 +0000
Subject: Setting nil by default the option to create resp and goals buffer
 immediately when opening a file.

---
 generic/proof-useropts.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index 21fbd321..206ea9da 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -139,7 +139,7 @@ you a reprimand!)."
   :set   'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-three-window-enable t
+(defcustom proof-three-window-enable nil
   "*Whether response and goals buffers have dedicated windows.
 If non-nil, Emacs windows displaying messages from the prover will not
 be switchable to display other windows.
@@ -167,7 +167,8 @@ the goals and response buffers, by altering the Emacs variable
   :set 'proof-set-value
   :group 'proof-user-options)
 
-(defcustom proof-layout-windows-on-visit-file t
+; Pierre: I really don't think this option is useful. remove?
+(defcustom proof-layout-windows-on-visit-file nil
   "*Whether to eagerly create auxiliary buffers and display windows.
 If non-nil, the output buffers are created and (re-)displayed as soon
 as a proof script file is visited.  Otherwise, the buffers are created
-- 
cgit v1.2.3