diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-16 14:59:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-16 14:59:09 +0000 |
| commit | a36632b4ca2e6dcc2831431982512fd3820b49b6 (patch) | |
| tree | 65b4dc4bca6ebc8b08fee0530148803011d9e797 /generic/proof-toolbar.el | |
| parent | 24516a280b4e939862f49fe6c800b52c2eaa286b (diff) | |
Add hide/show commands instead of make proofs visible
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 6458374e..97ac91a1 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -437,13 +437,14 @@ changed state." (defalias 'proof-toolbar-find 'proof-find-theorems) ;; -;; Visible button (not on toolbar) +;; Show and hide buttons (not on toolbar) ;; -(defun proof-toolbar-visible-enable-p () - t) +(defun proof-toolbar-show-enable-p () t) +(defalias 'proof-toolbar-show 'pg-show-all-proofs) -(defalias 'proof-toolbar-visible 'pg-show-all-proofs) +(defun proof-toolbar-hide-enable-p () t) +(defalias 'proof-toolbar-hide 'pg-hide-all-proofs) |