diff options
| author | David Aspinall | 1998-11-25 13:02:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 13:02:33 +0000 |
| commit | e6860a080a4dcc3cbd43c5fbf1904eae0ba190cd (patch) | |
| tree | f537a708dfe1a9982a9bffa787eacd16431f9f5b /generic/proof-shell.el | |
| parent | 5a5969e138e493b23b48ea92c09d8d1f3a100c6b (diff) | |
FSF Emacs fix for buffer-file-truename, which is the
*abbreviated* form of file-truename!
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index facf8700..78b710da 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -447,7 +447,10 @@ If FORCE, override proof-shell-erase-response-flag." (if (or proof-shell-erase-response-flag force) (if clean-windows (proof-clean-buffer proof-response-buffer) - (erase-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 + (erase-buffer)))) (setq proof-shell-erase-response-flag erase-next-time)) |