diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-01-20 14:01:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-01-20 14:01:46 +0000 |
| commit | e7a04f6f7d2fde4ab822da391ee4e665a2a53912 (patch) | |
| tree | e137bf8f2347154944c9b49968c29fca691a2c20 /lib | |
| parent | b5e254c04f3ea4b5a41e7fcc90f8adde044330ac (diff) | |
Patch x-symbol problem with XEmacs beta
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/proof-compat.el | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 5a7af707..f35e8d9c 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -28,7 +28,8 @@ "Non-nil if Proof General is running on GNU Emacs 21 or later.") ;; rough test for XEmacs on win32, anyone know about GNU Emacs on win32? (defvar proof-running-on-win32 (fboundp 'win32-long-file-name) - "Non-nil if Proof General is running on a win32 system.")) + "Non-nil if Proof General is running on a win32 system.") +) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; @@ -736,6 +737,15 @@ The corresponding face should be set using `edit-faces' or the ;; Problem confirmed in versions: 21.4.1 (setq easy-menu-precalculate-equivalent-keybindings nil)) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; +;; XEmacs/x-symbol compatibility for XEmacs 21.5 +;; +;; See http://thread.gmane.org/gmane.emacs.xemacs.beta/20171/focus=20172 + +(if (and (fboundp 'valid-specifier-tag-p) + (not (valid-specifier-tag-p 'mule-fonts))) + (define-specifier-tag 'mule-fonts)) ;; End of proof-compat.el (provide 'proof-compat) |