From cb48d3cf0936a350fe0d1b7527f08440c18258be Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 31 Aug 2002 13:04:10 +0000 Subject: Improved implementation of zap-commas font lock behaviour, patch from Stefan Monnier --- lego/lego-syntax.el | 4 +++- lego/lego.el | 2 -- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'lego') 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 -- cgit v1.2.3