diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-26 23:49:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-26 23:49:01 +0000 |
| commit | 46ca4a376644a9be166880514bb8a3de8b28451b (patch) | |
| tree | 371abce484a7579bf3ac3eeaaa203ecd023b0ef8 /generic/pg-response.el | |
| parent | 025307aa6ba0a946737a10246d15c28419465c5a (diff) | |
proof-display-three-b: avoid giving strange behaviour if some buffers are not available
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index b5196014..02ac7565 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -125,15 +125,14 @@ Internal variable, setting this will have no effect!") (other-window 1)) (defun proof-display-three-b (&optional nohorizontalsplit) - "Layout three buffers in a single frame." + "Layout three buffers in a single frame. Only do this if buffers exist." (interactive) - (proof-select-three-b - (or proof-script-buffer (first (buffer-list))) - (if (buffer-live-p proof-goals-buffer) - proof-goals-buffer (first (buffer-list))) - (if (buffer-live-p proof-response-buffer) - proof-response-buffer (first (buffer-list))) - nohorizontalsplit)) + (when (and proof-script-buffer + (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))) (defvar pg-frame-configuration nil |