diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d323e0a9..9efe56aa 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -233,11 +233,13 @@ without adjusting window layout." (defvar proof-show-hide-menu '(("Show All" - ["Proofs" (pg-show-all-portions "proof") t] - ["Comments" (pg-show-all-portions "comment") t]) + ["Proofs" (pg-show-all-portions 'proof) t] + ["Commands" (pg-show-all-portions 'command) 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])) + ["Proofs" (pg-show-all-portions 'proof 'hide) t] + ["Commands" (pg-show-all-portions 'command 'hide) t] + ["Comments" (pg-show-all-portions 'comment 'hide) t])) "Show/hide submenu.") (defvar proof-buffer-menu |