diff options
author | 1999-11-17 13:59:00 +0000 | |
---|---|---|
committer | 1999-11-17 13:59:00 +0000 | |
commit | f52654af35eba5c3a1a8a6e43cc49b0507d2e1b1 (patch) | |
tree | 0724b96ae3055ea878ce9292a703091fd7edbb97 | |
parent | 6f9b41f8d8ea39a6ee962a12d9e3cbbee5adbb1d (diff) |
Comments
-rw-r--r-- | generic/proof-x-symbol.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 559c0bd9..0c1baf88 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -151,13 +151,16 @@ A value for proof-shell-insert-hook." (save-excursion (let ((language x-symbol-language) (coding x-symbol-coding) - (selective selective-display)) + (selective selective-display)) ;FIXME: needed? (set-buffer (get-buffer-create "x-symbol comint")) (erase-buffer) (insert string) (setq x-symbol-language language) (x-symbol-encode-all nil coding)) (prog1 (buffer-substring) + ;; FIXME da: maybe more efficient just to delete + ;; region. Make buffer name start with space + ;; to be unselectable. (kill-buffer (current-buffer))))))) |