diff options
author | 1999-11-10 15:06:10 +0000 | |
---|---|---|
committer | 1999-11-10 15:06:10 +0000 | |
commit | b6ee01566a369020d4ad3d97d3c4556bd064ba5f (patch) | |
tree | f11df91aa1d41a34ff6d399c7e745c2081ca0adc /generic/proof-toolbar.el | |
parent | ea5b39e9612becdd529881901a811619e6fb5e4c (diff) |
Reorganized user options. Special new code for boolean settings.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 14 |
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.") |