diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 22:33:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 22:33:23 +0000 |
commit | 204256f7d5169f3b91329d4000fb794bec596b4c (patch) | |
tree | 7dbf6bc19f9d3cec0e63801560873f8ff1def4fc /generic/pg-response.el | |
parent | faf0b7c14b57e399b1fe34e76eb8ddcd15e2bbad (diff) |
Add proof state hover messages to proof script, along with useful customization.
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index c416843c..d97d58d5 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -165,7 +165,7 @@ For multiple frame mode, this function obeys the setting of (switch-to-buffer proof-script-buffer)) (proof-map-buffers (proof-associated-buffers) (if pg-response-eagerly-raise - (proof-display-and-keep-buffer (current-buffer)))) + (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))) @@ -180,7 +180,7 @@ For multiple frame mode, this function obeys the setting of (set-window-dedicated-p (selected-window) nil) (delete-other-windows) (if (buffer-live-p proof-response-buffer) - (proof-display-and-keep-buffer proof-response-buffer)))) + (proof-display-and-keep-buffer proof-response-buffer nil 'force)))) (pg-hint (pg-response-buffers-hint))) (defun proof-delete-other-frames () |