diff options
| author | David Aspinall | 1999-05-11 13:42:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-05-11 13:42:41 +0000 |
| commit | 407db56d15c871783f180231efa52ce182df2b22 (patch) | |
| tree | 4c480332a96d1d579acd79803f58ba9f878d6d95 /generic/proof-script.el | |
| parent | fe99b102e8809974f791c992a5d643084fcdd4ce (diff) | |
Add toggle for proof toolbar to menu
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 448b3691..97f72be1 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1542,11 +1542,15 @@ No action if BUF is nil." (defvar proof-menu (append '("Commands" - ["Toggle active terminator" proof-active-terminator-minor-mode + ["Active terminator" proof-active-terminator-minor-mode :active t :style toggle :selected proof-active-terminator-minor-mode] - "----") + ["Toolbar" proof-toolbar-toggle + :active (featurep 'toolbar) + :style toggle + :selected (not proof-toolbar-inhibit)] + "----") ;; UGLY COMPATIBILITY FIXME: remove this soon (list (if (string-match "XEmacs 19.1[2-9]" emacs-version) "--:doubleLine" "----")) |