From 2d0f644565b53259d9eff92d6b3811d87b2b0120 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Sep 2002 14:42:16 +0000
Subject: Emulate :visible keyword

---
 generic/proof-compat.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 9f71a16b..d2c9da28 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -120,6 +120,18 @@ and replace a sub-expression, e.g.
       (apply #'concat (nreverse matches))))))
 
 
+;; The GNU Emacs implementation of easy-menu-define has a very handy
+;; :visible keyword.  To use that when it's available, we set a
+;; constant to be :visible or :active
+
+(defconst menuvisiblep (if proof-running-on-Emacs21 :visible :active)
+  ":visible (on GNU Emacs) or :active (otherwise). 
+The GNU Emacs implementation of easy-menu-define has a very handy
+:visible keyword.  To use that when it's available, we use this constant.")
+
+ 
+
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
-- 
cgit v1.2.3