From 57200f046f75b641d0f5a5cc369d72551be70e5c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 2010 13:17:32 +0000
Subject: Prevent electric terminator modeline effect in non proof script
 modes.

---
 generic/pg-user.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 60ba77b1..adf1125c 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -522,13 +522,14 @@ This is intended as a value for `proof-activate-scripting-hook'"
     (setq minor-mode-alist
 	  (append minor-mode-alist
 		  (list '(proof-electric-terminator-enable
-			  (concat " " proof-terminal-string))))))
+			  (:eval
+			   (if (eq major-mode proof-mode-for-script)
+			       proof-terminal-string)))))))
 
 ;; This is a function called by custom-set property = proof-set-value.
 ;;;###autoload
 (defun proof-electric-terminator-enable ()
   "Make sure the modeline is updated to display new value for electric terminator."
-  ;; TODO: probably even this isn't necessary
   (force-mode-line-update))
 
 (proof-deftoggle proof-electric-terminator-enable
-- 
cgit v1.2.3