From 595af5218eecdf04a0b52f8754975bb79fef1371 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Dec 2000 18:55:29 +0000
Subject: Add visible enable command

---
 generic/proof-toolbar.el | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index f05cc533..bbdb3020 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -415,6 +415,17 @@ changed state."
 
 (defalias 'proof-toolbar-find 'proof-find-theorems)
 
+;;
+;; Visible button (not on toolbar)
+;;
+ 
+(defun proof-toolbar-visible-enable-p () 
+  t)
+
+(defalias 'proof-toolbar-visible 'pg-show-all-proofs)
+
+
+
 ;;
 ;; Interrupt button
 ;; 
-- 
cgit v1.2.3