diff options
| author | David Aspinall | 2001-12-11 13:21:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:21:00 +0000 |
| commit | 8c86c9b0599b2b2344fe6078460ed66813cfa20f (patch) | |
| tree | c2d76fe98a2f9ccd4c6866ebe953746cb3609521 /generic | |
| parent | bf56606d11744c6410a0f3004332acd2e52f7810 (diff) | |
Protect XEmacs only code
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 9c4da805..d1a579af 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -329,8 +329,9 @@ font-lock-mode." ;; hopefully in a useless way. XEmacs has better control ;; over which modes not to enable it for (although annoying ;; that it's a custom setting) - (setq font-lock-mode-disable-list - (cons major-mode font-lock-mode-disable-list)))) + (if proof-running-on-XEmacs + (setq font-lock-mode-disable-list + (cons major-mode font-lock-mode-disable-list))))) (defun proof-font-lock-clear-font-lock-vars () (kill-local-variable 'font-lock-defaults) |