From e53cf3da5fdd2ebc9f4e4b287acb7bc5eb99372b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 11 Aug 2010 17:15:34 +0000 Subject: only run custom font-lock-fontify-syntactically-region on PG buffers --- generic/proof-syntax.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index b44a5fa4..0365ea37 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -176,7 +176,8 @@ this were even more bogus...." (before font-lock-fontify-keywords-advice (beg end loudly)) "Call proof assistant specific syntactic region fontify. If it's bound, we call -font-lock-fontify-syntactically-region." - (when (fboundp (proof-ass-sym font-lock-fontify-syntactically-region)) + (when (and proof-buffer-type + (fboundp (proof-ass-sym font-lock-fontify-syntactically-region))) (funcall (proof-ass-sym font-lock-fontify-syntactically-region) beg end loudly))) (ad-activate 'font-lock-fontify-keywords-region))) -- cgit v1.2.3