1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 09ee4d74..4b9104f8 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2681,7 +2681,7 @@ Only when three-buffer-mode is enabled."
                   (goals-window (get-buffer-window proof-goals-buffer t)))
               (when (and response-window
                          (> (frame-height) 10))
-                (with-selected-window (get-buffer-window proof-response-buffer)
+                (with-selected-window response-window
                   (with-current-buffer proof-response-buffer
                     (let* ((response-height (window-text-height response-window))
                            (goals-height (window-text-height goals-window))