From f52654af35eba5c3a1a8a6e43cc49b0507d2e1b1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 13:59:00 +0000
Subject: Comments

---
 generic/proof-x-symbol.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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)))))))
 
 
-- 
cgit v1.2.3