From 9da815dc2e3adcc3e806ae53ee9b5622fe7a0236 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Aug 2002 10:30:01 +0000
Subject: Add menu entry for toggling visibility

---
 generic/proof-config.el  | 1 +
 generic/proof-toolbar.el | 9 +++++++++
 2 files changed, 10 insertions(+)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9e85b866..33aac0d1 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -722,6 +722,7 @@ If a function, it should return the command string to insert."
 		proof-find-theorems-command)
     (command    "Issue Command"	      "Issue a non-scripting command" t)
     (interrupt  "Interrupt Prover"    "Interrupt the proof assistant (warning: may break synchronization)" t)
+    (visibility "Toggle Visibility"   nil t)
     (info	nil		      "Show online proof assistant information" t
 		proof-info-command)
     (help	nil		      "Proof General manual" t))
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 83e895a9..9baeadeb 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -527,6 +527,15 @@ changed state."
 
 (defalias 'proof-toolbar-find 'proof-find-theorems)
 
+;;
+;; Visibility button (not on toolbar)
+;;
+
+(defun proof-toolbar-visibility-enable-p ()
+  (span-property-safe (span-at (point) 'type) 'idiom))
+
+(defalias 'proof-toolbar-visibility 'pg-toggle-visibility)
+
 ;;
 ;; Interrupt button
 ;; 
-- 
cgit v1.2.3