diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-11-12 23:28:31 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-11-12 23:28:31 -0500 |
| commit | 94499e1d47e93e6bcfecce7b23525b34ff083c32 (patch) | |
| tree | 51fea23d797d1b1858c45c38b2a1446b16dd3afd /coq/coq.el | |
| parent | 327a74941217619a9432205501c0685201aed5ad (diff) | |
Tentative fix for #10
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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))) |