checking buffer-read-only.
This commit is contained in:
parent
58e0b91e65
commit
4b9b26655a
@ -87,8 +87,9 @@
|
|||||||
(if ghc-check-command ;; hlint
|
(if ghc-check-command ;; hlint
|
||||||
(if (buffer-modified-p)
|
(if (buffer-modified-p)
|
||||||
(call-interactively 'save-buffer))
|
(call-interactively 'save-buffer))
|
||||||
(set-buffer-modified-p t)
|
(unless buffer-read-only
|
||||||
(call-interactively 'save-buffer))
|
(set-buffer-modified-p t)
|
||||||
|
(call-interactively 'save-buffer)))
|
||||||
(ghc-check-syntax))
|
(ghc-check-syntax))
|
||||||
|
|
||||||
(provide 'ghc-command)
|
(provide 'ghc-command)
|
||||||
|
Loading…
Reference in New Issue
Block a user