From d1dbb1bb03f777f744774b353b13b3cf2d11bf5f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2012 15:01:05 +0000
Subject: Add option proof-layout-windows-on-visit-file, addressing Trac #444

---
 generic/proof-script.el | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index d1c469a4..abbfefb3 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -29,6 +29,8 @@
 
 (declare-function proof-shell-strip-output-markup "proof-shell"
 		  (string &optional push))
+(declare-function proof-shell-make-associated-buffers "proof-shell" ())
+(declare-function proof-layout-windows "pg-response" (&rest args))
 (declare-function pg-response-warning "pg-response" (&rest args))
 (declare-function proof-segment-up-to "proof-script")
 (declare-function proof-autosend-enable "pg-user")
@@ -2586,10 +2588,15 @@ finish setup which depends on specific proof assistant configuration."
 	     (cons (pg-invisible-prop p) t)))
 	  pg-all-idioms)
 
-  ;; Finally, make sure the user has been welcomed!
-  ;; [NB: this doesn't work well, can get zapped by loading messages]
+  ;; If we're excited to get going straightaway, make and layout windows
+  (when proof-layout-windows-on-visit-file
+      (proof-shell-make-associated-buffers)
+      (proof-layout-windows))
+
+  ;; Make sure the user has been welcomed!
   (proof-splash-message))
 
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Subroutines of proof-config-done
-- 
cgit v1.2.3