diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:47:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:47:40 +0000 |
commit | 1de72490a9a9fcfbe9cb88cc10d4d18728a54d04 (patch) | |
tree | 9c815bea8ea4ba0ef6bb304a592d36bd83fef631 /generic/pg-response.el | |
parent | 17aa1542b6733a6bf7f7f869877860c1d377498b (diff) |
pg-response-display-with-face: remove update of `proof-shell-last-output'
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index f1be532c..e5edf640 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -274,8 +274,7 @@ Returns non-nil if response buffer was cleared." ;; pg-response-maybe-erase-buffer. ;;;###autoload (defun pg-response-display-with-face (str &optional face) - "Display STR with FACE in response buffer. -Also updates `proof-shell-last-output'." + "Display STR with FACE in response buffer." (cond ((string-equal str "")) ((string-equal str "\n")) ; quick exit, no display. @@ -293,7 +292,6 @@ Also updates `proof-shell-last-output'." (newline)) (setq start (point)) (insert str) - (setq proof-shell-last-output str) (unless (bolp) (newline)) (when face (overlay-put |