diff options
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 2bb24513..569fb12b 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -377,7 +377,9 @@ Given is the first SPAN which needs to be undone." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (defun plastic-mode-config () - (setq proof-active-terminator-minor-mode t) ;; force semicolons active. + ;; da: this is now a user-option, please set it in your .emacs + ;; via customize mechanism. + ;; (setq proof-electric-terminator-enable t) ;; force semicolons active. (setq proof-terminal-char ?\;) (setq proof-comment-start "(*") ;; these still active |