diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 23:02:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 23:02:11 +0000 |
| commit | e53de9e3b32322a872a369019ee366e42e0b54df (patch) | |
| tree | 67c719a4fb6812e7968082e91f652e883ec8e181 /generic | |
| parent | d1f34cd0ea6a713f544ab6856675a4a88951792c (diff) | |
Comment out pg-customize-menu-create
Diffstat (limited to 'generic')
| -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))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; |