From 50ec0f87b471c0bbb6304d3959aa836029e83a3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 2010 00:01:00 +0000
Subject: Fix for Trac #343

---
 coq/coq.el | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 85b28553..73496c14 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -304,10 +304,11 @@ Initially 1 because Coq initial state has number 1.")
 ;; resetting its content if ERASE non nil.
 ;; FIXME: point seems not to go at the end of the buffer
 (defun proof-store-buffer-win (buffer &optional erase)
-  (let ((newbuffer nil))
-    (set-buffer buffer)
-    (setq newbuffer (proof-clone-buffer " response-freeze" erase))
-    (display-buffer-other-frame newbuffer)))
+  (proof-with-current-buffer-if-exists buffer
+    (let ((newbuffer nil))
+      (set-buffer buffer)
+      (setq newbuffer (proof-clone-buffer " response-freeze" erase))
+      (display-buffer-other-frame newbuffer))))
 
 (defun proof-store-response-win (&optional erase)
   (interactive "P")
-- 
cgit v1.2.3