diff options
Diffstat (limited to 'generic/proof-compat.el')
| -rw-r--r-- | generic/proof-compat.el | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 8bf90643..a7d4a8af 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -233,8 +233,17 @@ Otherwise treat \\ in NEWTEXT string as special: -;; FIXME: todo: keybinding compat here, esp for mouse. -;; See Isamode and emu.el for ideas. +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; +;;; Nasty: Emacs bug/problem fix section +;;; + + +;; Error in FSF emacs that this is undefined. I haven't time to +;; investigate why. +(unless proof-running-on-XEmacs + (defvar font-lock-preprocessor-face nil)) + ;; End of proof-compat.el |