diff options
| -rw-r--r-- | generic/pg-user.el | 5 |
1 files changed, 3 insertions, 2 deletions
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 |