diff options
| -rw-r--r-- | generic/proof-compat.el | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index abd05843..ca765d80 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -542,13 +542,15 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged." ;; wrong with PG groups on Emacs 21. (It works with 'customize ;; though). We just disable it there. It's not worth this hassle. ;; -(cond - (proof-running-on-XEmacs - (defun pg-customize-menu-create (grp &optional name) - (list (customize-menu-create grp name)))) - (t - (defun pg-customize-menu-create (grp &optional name) - nil))) +;; PG 3.5: this was used in proof-menu.el. Things seem okay again +;; as of GNU Emacs 21.3.1. +;; (cond +;; (proof-running-on-XEmacs +;; (defun pg-customize-menu-create (grp &optional name) +;; (list (customize-menu-create grp name)))) +;; (t +;; (defun pg-customize-menu-create (grp &optional name) +;; nil))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; |