diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-31 13:04:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-31 13:04:10 +0000 |
commit | cb48d3cf0936a350fe0d1b7527f08440c18258be (patch) | |
tree | 36d56749ba31f0724927ae5038586b33f494e9c7 /lego | |
parent | 267c47d5d5a31f652e50ae03961906ec0c49bb85 (diff) |
Improved implementation of zap-commas font lock behaviour, patch from Stefan Monnier
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego-syntax.el | 4 | ||||
-rw-r--r-- | lego/lego.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index bdb30a72..5cf7867a 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -103,7 +103,9 @@ (cons (proof-ids-to-regexp lego-keywords) 'font-lock-keyword-face) (cons (proof-ids-to-regexp lego-tacticals) 'proof-tacticals-name-face) (list lego-goal-with-hole-regexp 2 'font-lock-function-name-face) - (list lego-save-with-hole-regexp 2 'font-lock-function-name-face)))) + (list lego-save-with-hole-regexp 2 'font-lock-function-name-face) + ;; Remove spurious variable and function faces on commas. + '(proof-zap-commas)))) (defun lego-init-syntax-table () "Set appropriate values for syntax table in current buffer." diff --git a/lego/lego.el b/lego/lego.el index 74e32dd6..6a8b50d6 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -339,8 +339,6 @@ Checks the width in the `proof-goals-buffer'" (setq font-lock-keywords lego-font-lock-keywords-1) - (setq proof-font-lock-zap-commas t) ; enable the painful hack - (proof-config-done) ;; outline |