Add visible enable command

1 files changed, 11 insertions, 0 deletions

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
@@ -416,6 +416,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
 ;;