diff options
| author | David Aspinall | 1999-11-10 12:32:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-10 12:32:42 +0000 |
| commit | 2f846f2afed3693ebc18f9ea2fa5dc0fbdaf4c48 (patch) | |
| tree | bd7c67729665b861b7732b65597224705cb241f8 | |
| parent | 57b4511c30916473aa8d1c09862460b3c287bede (diff) | |
Electric (active) terminator is now a user option, does not need forcing here.
| -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 |