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/pg-response.el | |
| parent | 3ace4262f67f259cba60338db8718d134c2c237c (diff) | |
Add option proof-layout-windows-on-visit-file, addressing Trac #444
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 9edead81..c95d8cce 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -110,7 +110,7 @@ Internal variable, setting this will have no effect!") (proof-layout-windows)) (defun proof-select-three-b (b1 b2 b3 &optional nohorizontalsplit) - "Select three buffers. Put them into three windows, selecting the last one." + "Put the given three buffers into three windows." (interactive "bBuffer1:\nbBuffer2:\nbBuffer3:") (delete-other-windows) (if nohorizontalsplit @@ -127,13 +127,12 @@ Internal variable, setting this will have no effect!") (defun proof-display-three-b (&optional nohorizontalsplit) "Layout three buffers in a single frame. Only do this if buffers exist." (interactive) - (when (and proof-script-buffer - (buffer-live-p proof-goals-buffer) + (when (and (buffer-live-p proof-goals-buffer) (buffer-live-p proof-response-buffer)) - (proof-select-three-b - proof-script-buffer proof-goals-buffer proof-response-buffer - nohorizontalsplit))) - + (save-excursion + (proof-select-three-b + proof-script-buffer proof-goals-buffer proof-response-buffer + nohorizontalsplit)))) (defvar pg-frame-configuration nil "Variable storing last used frame configuration.") |