diff options
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." |