michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-syntax): fix Type1, Type2 highlight

Browse source
This commit is contained in:
Soonho Kong 2014-10-29 14:28:01 -07:00
parent b0e249ce63
commit 12824c3e27
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-syntax.el
View file

@ -123,7 +123,7 @@
word-end)
. 'font-lock-constant-face)
;; Types
(,(rx word-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") word-end) . 'font-lock-type-face)
(,(rx symbol-start (or "Prop" "Type" "Type'" "Type₊" "Type₁" "Type₂" "Type₃") symbol-end) . 'font-lock-type-face)
;; sorry
(,(rx word-start "sorry" word-end) . 'font-lock-warning-face)
;; extra-keywords