diff options
| author | David Aspinall | 2004-04-18 10:54:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-18 10:54:06 +0000 |
| commit | 8434363ba8e148c4b239576d734f3e52486cd074 (patch) | |
| tree | 5a19be75f018cfd08a5c705a2e457926c9cb953b | |
| parent | ebc383c530bbc1f05038aedc5dea94ef255c248d (diff) | |
Obey proof-eagerly-raise in proof-layout-windows.
| -rw-r--r-- | generic/pg-response.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 88cf9c71..0d4843d4 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -161,7 +161,8 @@ Internal variable, setting this will have no effect!") (defun proof-layout-windows () "Refresh the display of windows according to current display mode. -This uses a canonical layout." +This uses a canonical layout. +It obeys the setting of `proof-eagerly-raise' for multiple frame mode." (interactive) (cond (proof-multiple-frames-enable @@ -169,7 +170,8 @@ This uses a canonical layout." (if proof-script-buffer (switch-to-buffer proof-script-buffer)) (proof-map-buffers (proof-associated-buffers) - (proof-display-and-keep-buffer (current-buffer))) + (if proof-eagerly-raise + (proof-display-and-keep-buffer (current-buffer)))) ;; Restore an existing frame configuration (seems buggy, typical) (if pg-frame-configuration (set-frame-configuration pg-frame-configuration 'nodelete))) |