aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-10 15:06:10 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-10 15:06:10 +0000
commitb6ee01566a369020d4ad3d97d3c4556bd064ba5f (patch)
treef11df91aa1d41a34ff6d399c7e745c2081ca0adc /generic/proof-toolbar.el
parentea5b39e9612becdd529881901a811619e6fb5e4c (diff)
Reorganized user options. Special new code for boolean settings.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r--generic/proof-toolbar.el14
1 files changed, 6 insertions, 8 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 963f3da8..586d0ffb 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -128,7 +128,7 @@ and chooses the best one for the display properites.")
(menuname (cadr tle))
(tooltip (nth 2 tle))
(existsenabler (nth 3 tle))
- (enablep (and proof-toolbar-use-enablers
+ (enablep (and proof-toolbar-use-button-enablers
(>= emacs-major-version 21)
existsenabler))
(enabler (proof-toolbar-enabler token))
@@ -170,7 +170,7 @@ to the default toolbar."
(interactive)
(if (featurep 'toolbar) ; won't work in FSF Emacs
(if (and
- (not proof-toolbar-inhibit)
+ proof-toolbar-enable
;; NB for FSFmacs use window-system, not console-type
(eq (console-type) 'x))
(let
@@ -215,12 +215,10 @@ to the default toolbar."
(if proof-toolbar-itimer (delete-itimer proof-toolbar-itimer))
(setq proof-toolbar-itimer nil))))
-(defun proof-toolbar-toggle (&optional force-on)
- "Toggle display of Proof General toolbar. With optional ARG, force on."
- (interactive "P")
- (setq proof-toolbar-inhibit
- (or force-on (not proof-toolbar-inhibit)))
- (proof-toolbar-setup))
+;; Action to take after altering proof-toolbar-enable
+(defalias 'proof-toolbar-enable 'proof-toolbar-setup)
+(fset 'proof-toolbar-toggle
+ (proof-customize-toggle proof-toolbar-enable))
(deflocal proof-toolbar-refresh-flag nil
"Flag indicating that the toolbar should be refreshed.")