diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-03-13 14:47:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-03-13 14:47:08 +0000 |
commit | 0a9060a2654c5b18518e25c4d2a3165c75533781 (patch) | |
tree | 5403054696dc5732f418d3f882e290cbba5f6552 /generic | |
parent | 625306144bbb565fccf6e4be61433e4fe7fc1b6d (diff) |
Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor mode)
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-user.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 57319ca7..e7575ef9 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1,4 +1,3 @@ - ;;; pg-user.el --- User level commands for Proof General ;; ;; Copyright (C) 2000-2010 LFCS Edinburgh. @@ -506,9 +505,12 @@ This is intended as a value for `proof-activate-scripting-hook'" proof-terminal-string))))))) ;;;###autoload -(defun proof-electric-terminator-enable () +(defun proof-electric-terminator-enable (&optional arg) "Ensure modeline update to display new value for electric terminator. -This a function is called by the custom-set property 'proof-set-value." +This a function is called by the custom-set property 'proof-set-value. +It can also be used as a minor mode function: with ARG, turn on iff ARG>0" + (unless (null arg) + (setq proof-electric-terminator-enable (> (prefix-numeric-value arg) 0))) (force-mode-line-update)) (proof-deftoggle proof-electric-terminator-enable |