diff options
| author | David Aspinall | 2010-08-11 17:15:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 17:15:34 +0000 |
| commit | e53cf3da5fdd2ebc9f4e4b287acb7bc5eb99372b (patch) | |
| tree | 80ade2d1c8c26c665ba40a7e3e6b87a12af94569 /generic | |
| parent | 5d64d1f3bfb7694cbb6b0e7f4f7ba7e93b2cbf2a (diff) | |
only run custom font-lock-fontify-syntactically-region on PG buffers
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 <PA>-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))) |