diff options
author | 2010-08-30 22:37:55 +0000 | |
---|---|---|
committer | 2010-08-30 22:37:55 +0000 | |
commit | 19c50038d90be840be9f99ddee4fd51c1098c045 (patch) | |
tree | 874272163f19c288f285dfd6e1a6917f2678e80d | |
parent | ce392e6c64afb9a8b098578d1ddc6bea1cca6903 (diff) |
Response freeze given non special buffer name (Trac #347)
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -307,7 +307,7 @@ Initially 1 because Coq initial state has number 1.") (proof-with-current-buffer-if-exists buffer (let ((newbuffer nil)) (set-buffer buffer) - (setq newbuffer (proof-clone-buffer " response-freeze" erase)) + (setq newbuffer (proof-clone-buffer "*response-freeze*" erase)) (display-buffer-other-frame newbuffer)))) (defun proof-store-response-win (&optional erase) |