diff options
| author | David Aspinall | 2010-08-23 13:17:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-23 13:17:32 +0000 |
| commit | 57200f046f75b641d0f5a5cc369d72551be70e5c (patch) | |
| tree | eef31fa07ed0d7cadbefc60d16f1ed34de645e68 /generic | |
| parent | 1b4340a4e072bee9fa81c495201dbce85d9e4dec (diff) | |
Prevent electric terminator modeline effect in non proof script modes.
Diffstat (limited to 'generic')
| -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 |