diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 13:16:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 13:16:13 +0000 |
| commit | 6c60e195c68a30aab803d72fc216853583624bd3 (patch) | |
| tree | dccdc4084c3b29bb34ae72ff1e1a987a5bd3e4f5 | |
| parent | 298cfde00ec1dc2437aa4389673e87082167ffdd (diff) | |
Change to font-lock support routines.
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 068a3c34..7e10dcbc 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2360,7 +2360,7 @@ assistant." ;; Fontlock support. ;; ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults proof-case-fold-search) + (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) ;; Hack for unfontifying commas (yuck) (remove-hook 'font-lock-after-fontify-buffer-hook 'proof-zap-commas-buffer t) |