From 94499e1d47e93e6bcfecce7b23525b34ff083c32 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Thu, 12 Nov 2015 23:28:31 -0500
Subject: Tentative fix for #10

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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