diff options
| author | David Aspinall | 2002-08-08 21:49:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 21:49:20 +0000 |
| commit | f3c331b28eb79a08131df723444eb0ebfc7452c2 (patch) | |
| tree | 5bde7a535ba062f56c8445ed49e5c82c8e6e2112 /generic/proof-menu.el | |
| parent | 04b55ba97d2942875e888fe72af713cce6568fb2 (diff) | |
Generalise proof elements to include comments, show/hiding of comments.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index de74e24b..763d4e89 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -165,6 +165,15 @@ If in three window or multiple frame mode, display both buffers." ["Send Bug Report" proof-submit-bug-report t]) "Proof General help menu.") +(defvar proof-show-hide-menu + '(("Show all" + ["Proofs" (pg-show-all-portions "proof") t] + ["Comments" (pg-show-all-portions "comment") t]) + ("Hide all" + ["Proofs" (pg-show-all-portions "proof" 'hide) t] + ["Comments" (pg-show-all-portions "comment" 'hide) t])) + "Show/hide submenu.") + (defvar proof-buffer-menu (cons "Buffers" (append @@ -194,6 +203,7 @@ If in three window or multiple frame mode, display both buffers." :active (buffer-live-p proof-trace-buffer)]))) "Proof General buffer menu.") + ;; Make the togglers used in options menu below (proof-deftoggle proof-three-window-mode) @@ -308,6 +318,7 @@ If in three window or multiple frame mode, display both buffers." (cons proof-general-name (append proof-toolbar-scripting-menu + proof-show-hide-menu proof-menu proof-config-menu (list proof-help-menu))) |