diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 11:29:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 11:29:03 +0000 |
| commit | a7371764c85b8520e962552fe05407165008f88b (patch) | |
| tree | 1ef1122803a30c5a4373fc04c1c5217bd3088dfc /generic/pg-response.el | |
| parent | 39cb0b047ea9d2fd362dc2e1e1cce6a72857890d (diff) | |
Disable undo history for efficiency; add clear response buffers function; clear modified flag.
Diffstat (limited to 'generic/pg-response.el')
| -rw-r--r-- | generic/pg-response.el | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index df3627d1..7e084500 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -22,13 +22,16 @@ "PGResp" "Responses from Proof Assistant" (setq proof-buffer-type 'response) (define-key proof-response-mode-map [q] 'bury-buffer) + (define-key proof-response-mode-map [c] 'pg-response-clear-displays) (make-local-hook 'kill-buffer-hook) (add-hook 'kill-buffer-hook 'pg-save-from-death nil t) (easy-menu-add proof-response-mode-menu proof-response-mode-map) (easy-menu-add proof-assistant-menu proof-response-mode-map) (proof-toolbar-setup) - (setq pg-response-next-error nil) ; all error msgs lost! - (erase-buffer))) + (setq pg-response-next-error nil) + (erase-buffer) + (buffer-disable-undo) + (set-buffer-modified-p nil))) (easy-menu-define proof-response-mode-menu proof-response-mode-map @@ -128,7 +131,8 @@ Returns non-nil if response buffer was cleared." ;; (erase-buffer proof-response-buffer) (with-current-buffer proof-response-buffer (setq pg-response-next-error nil) ; all error msgs lost! - (erase-buffer)))) + (erase-buffer) + (set-buffer-modified-p nil)))) (setq pg-response-erase-flag erase-next-time) doit))) @@ -168,9 +172,17 @@ Returns non-nil if response buffer was cleared." ;; decorated in the minibuffer, unfortunately. ;; 3.4: remove this for efficiency. ;; (buffer-substring start (point-max)) + (set-buffer-modified-p nil) )))) +(defun pg-response-clear-displays () + "Clear PG response and tracing buffers." + (interactive) + (proof-map-buffers (list proof-response-buffer proof-trace-buffer) + (erase-buffer) + (set-buffer-modified-p nil))) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -280,7 +292,9 @@ and start at the first error." (setq start (point)) (insert str) (unless (bolp) (newline)) - (proof-fontify-region start (point))))) + (proof-fontify-region start (point)) + (set-buffer-modified-p nil)))) + |