diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 23:47:37 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-22 23:47:37 +0000 |
commit | 377373025c649d91be84d3e71b36d8c1508a0ea9 (patch) | |
tree | cd5d945c8dc1a95694906b8fa659bf3843e8e398 /generic/pg-response.el | |
parent | 5e0855925629694936a0f73936defa20a1758172 (diff) |
Fixed a compilation issue + small display glitch in coqpg
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 009c6492..1c005998 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -114,7 +114,7 @@ Internal variable, setting this will have no effect!") ((display-buffer-entry (cons pg-response-special-display-regexp `((display-buffer-reuse-window display-buffer-pop-up-frame) . - ((reusable-frames . nil) + ((reusable-frames . t) (pop-up-frame-parameters . ,proof-multiframe-parameters)))))) @@ -235,22 +235,29 @@ dragging the separating bars. (interactive) (cond (proof-multiple-frames-enable + ;; If we are coming from single frame mode, delete associated + ;; windows (and only them). (delete-other-windows) ;; hope we're on the right frame/window (if proof-script-buffer (switch-to-buffer proof-script-buffer)) - (proof-map-buffers (proof-associated-buffers) - (if pg-response-eagerly-raise - (proof-display-and-keep-buffer (current-buffer) nil 'force))) + (proof-map-buffers + (proof-associated-buffers) + (if pg-response-eagerly-raise + (proof-display-and-keep-buffer (current-buffer) nil 'force))) ;; Restore an existing frame configuration (seems buggy, typical) (if pg-frame-configuration (set-frame-configuration pg-frame-configuration 'nodelete))) - (proof-three-window-enable + (proof-three-window-enable ; single frame + ;; If we are coming from multiple frame mode, delete associated + ;; frames (and only them). (proof-delete-other-frames) (set-window-dedicated-p (selected-window) nil) (proof-display-three-b proof-three-window-mode-policy)) ;; Two-of-three window mode. ;; Show the response buffer as first in preference order. (t + ;; If we are coming from multiple frame mode, delete associated + ;; frames (and only them). (proof-delete-other-frames) (set-window-dedicated-p (selected-window) nil) (delete-other-windows) |