Merge branch 'master' of github.com:kazu-yamamoto/ghc-mod

This commit is contained in:
Daniel Gröber 2015-08-14 09:18:51 +02:00
commit 04306d2ea7

View File

@ -119,13 +119,11 @@
cwin) cwin)
(unless (get-buffer-window cbuf) (display-buffer cbuf)) (unless (get-buffer-window cbuf) (display-buffer cbuf))
(setq cwin (get-buffer-window cbuf)) (setq cwin (get-buffer-window cbuf))
(goto-char (point-max)) (with-selected-window cwin
(insert-buffer-substring tbuf 1 end) (goto-char (point-max))
(set-buffer-modified-p nil) (insert-buffer-substring tbuf 1 end)
(unless (pos-visible-in-window-p (point) cwin) (set-buffer-modified-p nil)
(with-selected-window cwin (redisplay)))))
(scroll-up 2))))
(redisplay)))
(delete-region 1 end))))) (delete-region 1 end)))))
(goto-char (point-max)) (goto-char (point-max))
(forward-line -1) (forward-line -1)