diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-09 11:32:07 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-09 11:32:07 +0200 |
| commit | aa381b59210eed6b622dc6c4ccd564ecaf919e92 (patch) | |
| tree | 2e31ccfd4860cb9dde41874f85c318a22ff251b3 /coq/coq.el | |
| parent | 0f9b4075028073714acfd2eb0b01cb8d5b94c25a (diff) | |
Fixing < 25 use of window-frame (mandatory arg).
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2499,7 +2499,7 @@ First goal is displayed on the bottom of its window, maximizing the number of hypothesis displayed, without hiding the goal" (interactive) (let ((pg-frame (car (coq-find-threeb-frames)))) ; selecting the good frame - (with-selected-frame (or pg-frame (window-frame)) + (with-selected-frame (or pg-frame (window-frame (selected-window))) ;; prefer current frame (let ((goal-win (or (get-buffer-window proof-goals-buffer) (get-buffer-window proof-goals-buffer t)))) (if goal-win |