From 0a9060a2654c5b18518e25c4d2a3165c75533781 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 13 Mar 2015 14:47:08 +0000 Subject: Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor mode) --- generic/pg-user.el | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'generic') 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 -- cgit v1.2.3