scrolling errors.
This commit is contained in:
parent
002008aa30
commit
efef2b19ea
@ -110,9 +110,15 @@
|
|||||||
(goto-char (point-max))
|
(goto-char (point-max))
|
||||||
(insert-buffer-substring tbuf 1 end))
|
(insert-buffer-substring tbuf 1 end))
|
||||||
(with-current-buffer (get-buffer-create ghc-error-buffer)
|
(with-current-buffer (get-buffer-create ghc-error-buffer)
|
||||||
|
(let* ((cbuf (current-buffer))
|
||||||
|
cwin)
|
||||||
|
(unless (get-buffer-window cbuf) (display-buffer cbuf))
|
||||||
|
(setq cwin (get-buffer-window cbuf))
|
||||||
(goto-char (point-max))
|
(goto-char (point-max))
|
||||||
(insert-buffer-substring tbuf 1 end)
|
(insert-buffer-substring tbuf 1 end)
|
||||||
(display-buffer (current-buffer))
|
(unless (pos-visible-in-window-p (point) cwin)
|
||||||
|
(with-selected-window cwin
|
||||||
|
(scroll-up 2))))
|
||||||
(redisplay)))
|
(redisplay)))
|
||||||
(delete-region 1 end)))))
|
(delete-region 1 end)))))
|
||||||
(goto-char (point-max))
|
(goto-char (point-max))
|
||||||
|
Loading…
Reference in New Issue
Block a user