diff options
| author | David Aspinall | 2010-08-11 16:56:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 16:56:30 +0000 |
| commit | 4878ed1c9a0f269494ef22cff2bfb40bec1b69dc (patch) | |
| tree | c05deb2f1f51a64db41491acd39d6177dd38dce1 /generic/proof-script.el | |
| parent | b97d82c0af4bf658c28e531b762b87f291f792a5 (diff) | |
Support custom syntactic fontification. Split out pa macros.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index bedfd68c..0939855a 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2308,7 +2308,10 @@ mode features, but are only ever processed atomically by the proof assistant." (setq proof-script-buffer-file-name buffer-file-name) - (setq font-lock-defaults '(proof-script-font-lock-keywords)) + (setq font-lock-defaults + (list '(proof-script-font-lock-keywords) + ;; see defadvice in proof-syntax + (fboundp (proof-ass-sym font-lock-fontify-syntactically-region)))) ;; Has buffer already been processed? ;; NB: call to file-truename is needed for GNU Emacs which |