From a36632b4ca2e6dcc2831431982512fd3820b49b6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 16 Aug 2001 14:59:09 +0000
Subject: Add hide/show commands instead of make proofs visible

---
 generic/proof-config.el  | 3 ++-
 generic/proof-toolbar.el | 9 +++++----
 2 files changed, 7 insertions(+), 5 deletions(-)

(limited to 'generic')

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)
 
 
 
-- 
cgit v1.2.3