diff options
| author | David Aspinall | 2009-09-06 13:58:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 13:58:50 +0000 |
| commit | 594f3c0e21e9064bce8bb04750d7595cfefae705 (patch) | |
| tree | 69ecbf9c58643728a0d5e22a35de5c343a177cc9 /generic | |
| parent | fe91bb443c5c0bf7c2d9800d599cff6e45d2197b (diff) | |
pg-response-maybe-erase: inhibit read only
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 30f7b329..f1be532c 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -16,8 +16,8 @@ ;;; Code: (eval-when-compile - (require 'easymenu) ; easy-menu-add - (require 'proof-utils)) ; deflocal, proof-eval-when-ready-for-assistant + (require 'easymenu) ; easy-menu-add + (require 'proof-utils)) ; deflocal, proof-eval-when-ready-for-assistant (require 'bufhist) (require 'pg-assoc) @@ -231,7 +231,8 @@ the buffer is only cleared when FORCE is set. No effect if there is no response buffer currently. Returns non-nil if response buffer was cleared." (when (buffer-live-p proof-response-buffer) - (let ((doit (or (and + (let ((inhibit-read-only t) + (doit (or (and proof-tidy-response (not (eq pg-response-erase-flag 'invisible)) pg-response-erase-flag) @@ -239,8 +240,6 @@ Returns non-nil if response buffer was cleared." (if doit (if clean-windows (proof-clean-buffer proof-response-buffer) - ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(. - ;; (erase-buffer proof-response-buffer) (with-current-buffer proof-response-buffer (setq pg-response-next-error nil) ; all error msgs lost! (if (> (buffer-size) 0) |