diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-09-11 14:42:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-09-11 14:42:16 +0000 |
| commit | 2d0f644565b53259d9eff92d6b3811d87b2b0120 (patch) | |
| tree | 943e8fb2b2c80a1be4e943c331c2f9b733875d03 /generic/proof-compat.el | |
| parent | 06ccb2780e4476066f5b7c2bfbd9f47fcde8abfd (diff) | |
Emulate :visible keyword
Diffstat (limited to 'generic/proof-compat.el')
| -rw-r--r-- | generic/proof-compat.el | 12 |
1 files changed, 12 insertions, 0 deletions
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.") + + + + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; |