diff options
| author | David Aspinall | 2008-01-15 23:17:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 23:17:48 +0000 |
| commit | c9466a2b48c9e671600a5676a746fe463c94af9a (patch) | |
| tree | 30408a050a618b70a4081bf9b5d41a847adfb318 /generic/proof-script.el | |
| parent | f5b82c7b4864b996f52c3007be4fb11a88f98bd2 (diff) | |
Simplify font lock settings, removing proof-font-lock-case-fold-search
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 1f056116..0b75ade4 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2594,9 +2594,7 @@ assistant." ;; ;; Fontlock support. ;; - ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) - + (proof-font-lock-configure-defaults 'autofontify) ) |