diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 15:01:05 +0000 |
| commit | d1dbb1bb03f777f744774b353b13b3cf2d11bf5f (patch) | |
| tree | 4544c59fbd97b3d276456867d1b50173276082af /generic/proof-script.el | |
| parent | 3ace4262f67f259cba60338db8718d134c2c237c (diff) | |
Add option proof-layout-windows-on-visit-file, addressing Trac #444
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 11 |
1 files changed, 9 insertions, 2 deletions
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 |