Tentative fix for #10

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 2b9b6813..7dee81e8 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1189,7 +1189,7 @@ necessary.")
 
 (defun coq-goals-window-width ()
   (let*
-      ((goals-wins (get-buffer-window-list proof-goals-buffer))
+      ((goals-wins (get-buffer-window-list proof-goals-buffer nil t))
        (dummy (if (not (eq 1 (length goals-wins)))
                   (message "Zero or more than one goals window, guessing window width.")))
        (goal-win (car goals-wins)))