diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index fa09ede9..624a468e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -272,10 +272,7 @@ to allow other files loaded by proof assistants to be marked read-only." (defun proof-warning (str) "Issue the warning STR." (proof-response-buffer-display str 'proof-warning-face) - (display-buffer proof-response-buffer) - (set-window-dedicated-p - (get-buffer-window proof-response-buffer) 'dedicated)) - + (proof-display-and-keep-buffer proof-response-buffer)) (defun proof-register-possibly-new-processed-file (file) "Register a possibly new FILE as having been processed by the prover." |