don't save the buffer for hlint.
This commit is contained in:
parent
9ab0f4bf19
commit
bf935c5741
@ -84,8 +84,11 @@
|
||||
(defun ghc-save-buffer ()
|
||||
(interactive)
|
||||
;; fixme: better way then saving?
|
||||
(set-buffer-modified-p t)
|
||||
(call-interactively 'save-buffer)
|
||||
(if ghc-check-command ;; hlint
|
||||
(if (buffer-modified-p)
|
||||
(call-interactively 'save-buffer))
|
||||
(set-buffer-modified-p t)
|
||||
(call-interactively 'save-buffer))
|
||||
(ghc-check-syntax))
|
||||
|
||||
(provide 'ghc-command)
|
||||
|
Loading…
Reference in New Issue
Block a user