From 2f846f2afed3693ebc18f9ea2fa5dc0fbdaf4c48 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 10 Nov 1999 12:32:42 +0000
Subject: Electric (active) terminator is now a user option, does not need
 forcing here.

---
 plastic/plastic.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3