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/lego-syntax.el | |
| parent | 267c47d5d5a31f652e50ae03961906ec0c49bb85 (diff) | |
Improved implementation of zap-commas font lock behaviour, patch from Stefan Monnier
Diffstat (limited to 'lego/lego-syntax.el')
| -rw-r--r-- | lego/lego-syntax.el | 4 |
1 files changed, 3 insertions, 1 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." |