diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-01-17 10:04:59 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-01-17 10:04:59 +0000 |
| commit | 682715a78b9434b043cf0d664ed9c030508750d5 (patch) | |
| tree | 1b4b7331aaa509066638759feb0f493b31f3c555 | |
| parent | c8a997a20215220f2f79ffc1cb34de758e73538c (diff) | |
Fixed a bug with window height optimization.
When using unicode symbols, window-height (which is deprecated anyway)
is incorrect, using window-text-height instead seems better.
| -rw-r--r-- | coq/coq.el | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1963,13 +1963,13 @@ Only when three-buffer-mode is enabled." (let (;; maxhgth is the max height of both resp and goals buffers to avoid ;; make the other disappear (maxhgth (with-selected-window (get-buffer-window proof-script-buffer) - (- (window-height) window-min-height))) + (- (window-text-height) window-min-height))) hgt-resp nline-resp) (with-selected-window (get-buffer-window proof-response-buffer) - (setq hgt-resp (window-height)) + (setq hgt-resp (window-text-height)) (with-current-buffer proof-response-buffer (setq nline-resp ; number of lines we want for response buffer - (min maxhgth (max window-min-height ; + 1 here for comfort + (min maxhgth (max window-min-height ; + 1 for comfort (+ 1 (count-lines (point-max) (point-min))))))) (unless (is-not-split-vertic (selected-window)) (shrink-window (- hgt-resp nline-resp))) |