diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-13 16:37:28 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-13 16:37:28 +0100 |
| commit | 95c86b944368015804f0bfd0002dc098578bda58 (patch) | |
| tree | 25c400e092b9cfda6c508839987e72296691267d /generic/pg-response.el | |
| parent | 6c47d20a9e1fa0a30be041dc565ae71090ffcd4a (diff) | |
Experimenting less brutal frame deletion.
Only in coq mode for now. There are still some strange frame deletion
some times.
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index e903858e..b0cf217d 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -188,7 +188,8 @@ Following POLICY, which can be one of 'smart, 'horizontal, proof-script-buffer proof-goals-buffer proof-response-buffer policy)))) - +;; this is a canidate for replacing proof-delete-other-frames below, less brutal. +;; For the moment we experiment this locall on coq mode. (defun proof-delete-all-associated-windows () "Delete windows (and maybe frames) showing associated buffers. Delete a frame if it displays only associated buffers, unless it @@ -198,7 +199,7 @@ is the only frame (try to bury buffers then)." (if (not (frame-root-window-p w)) (delete-window w) (if (< 1 (length (frame-list))) (delete-frame (window-frame w)) (window--display-buffer (other-buffer) w 'window)))) - (proof-find-all-associated-windows))) + (proof-associated-windows t))) (defvar pg-frame-configuration nil "Variable storing last used frame configuration.") |