hasufell
/
ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #649 from robstewart57/master 

Adds report-ghc-errors to turn off *GHC Error* buffer when nil
This commit is contained in:
Daniel Gröber 2015-10-13 21:19:57 +02:00
parent 2ef3e7afe8 138c711dc1
commit 8f4752ebd6
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
elisp/ghc-process.el
View File

@ -27,6 +27,7 @@
(defvar ghc-command "ghc-mod")
(defvar ghc-report-errors t "Report GHC errors to *GHC Error* buffer")
(defvar ghc-error-buffer "*GHC Error*")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@ -144,7 +145,8 @@
(with-current-buffer pbuf
(goto-char (point-max))
(insert-buffer-substring tbuf 1 end))
(with-current-buffer (get-buffer-create ghc-error-buffer)
(when ghc-report-errors
(with-current-buffer (get-buffer-create ghc-error-buffer)
(setq buffer-read-only t)
(let* ((buffer-read-only nil)
(inhibit-read-only t)
@ -156,7 +158,7 @@
(goto-char (point-max))
(insert-buffer-substring tbuf 1 end)
(set-buffer-modified-p nil))
(redisplay))))
(redisplay)))))
(delete-region 1 end)))))
(goto-char (point-max))
(forward-line -1)