emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Disable continue-comments-on-RET in ess-r-mode & coq-mode

Browse source 
Fixes #2081, #2233
This commit is contained in:
Henrik Lissner 2019-12-27 13:32:24 -05:00
parent e5fa19ea2d
commit 566d54d984
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395
2 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
modules/lang/coq/config.el
View file

@ -14,9 +14,13 @@
;;;###package coq
;; Doom syncs other indent variables with `tab-width'; we trust major modes to
;; set it -- which most of them do -- but coq-mode doesn't, so...
(setq-hook! 'coq-mode-hook tab-width proof-indent)
(setq-hook! 'coq-mode-hook
;; Doom syncs other indent variables with `tab-width'; we trust major modes to
;; set it -- which most of them do -- but coq-mode doesn't, so...
tab-width proof-indent
;; HACK Fix #2081: Doom continues comments on RET, but coq-mode doesn't have a
;; sane `comment-line-break-function', so...
comment-line-break-function nil)
;; We've replaced coq-mode abbrevs with yasnippet snippets (in the snippets
;; library included with Doom).