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 | |
parent | 24516a280b4e939862f49fe6c800b52c2eaa286b (diff) |
Add hide/show commands instead of make proofs visible
-rw-r--r-- | generic/proof-config.el | 3 | ||||
-rw-r--r-- | generic/proof-toolbar.el | 9 |
2 files changed, 7 insertions, 5 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 74aba3ce..e65f1722 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -666,7 +666,8 @@ If a function, it should return the command string to insert." (qed "Finish proof" "Close/save proved theorem" t) (lockedend "Locked end" nil t) (find "Find theorems" "Find theorems" t) - (visible "Make proofs visible" nil t) + (show "Show proofs" nil t) + (hide "Hide proofs" nil t) (command "Issue command" "Issue a non-scripting command" t) (interrupt "Interrupt prover" "Interrupt the proof assistant (warning: may break synchronization)" t) (info nil "Show online proof assistant information" t) 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) |