From 979d6494e9cb3661b619151a57b709be60a2d613 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 6 Feb 2015 12:57:11 -0800 Subject: [PATCH] feat(emacs/lean-syntax): add syntax-highlight for unfold-c hint attribute --- src/emacs/lean-syntax.el | 1 + 1 file changed, 1 insertion(+) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index 51c245fcb..aef9bad4b 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -121,6 +121,7 @@ "\[decls\]" "\[strict\]" "\[coercions\]" "\[classes\]" "\[notations\]" "\[tactic_hints\]" "\[reduce_hints\]")) . 'font-lock-doc-face) (,(rx "\[priority" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) + (,(rx "\[unfold-c" (zero-or-more (not (any "\]"))) "\]") . font-lock-doc-face) ;; tactics ("cases[ \t\n]+[^ \t\n]+[ \t\n]+\\(with\\)" (1 'font-lock-constant-face)) (,(rx (not (any "\.")) word-start