git.iko.soy/Idris-dev
on master help sign in
vim: automatically adjust tactics and metavars to colorscheme
e93a90araichoo
contribs/tool-support/vim/syntax/idris.vim+2−2
compare with master
unifiedsplit
@@ -44,7 +44,7 @@ highlight def link idrisSyntax Statement
44highlight def link idrisVisibility Statement
44highlight def link idrisVisibility Statement
45highlight def link idrisConditional Conditional
45highlight def link idrisConditional Conditional
46highlight def link idrisProofBlock Macro
46highlight def link idrisProofBlock Macro
47−highlight idrisTactic ctermfg=cyan
47+highlight def link idrisTactic Identifier
48highlight def link idrisLink Statement
48highlight def link idrisLink Statement
49highlight def link idrisDirective Statement
49highlight def link idrisDirective Statement
50highlight def link idrisNumber Number
50highlight def link idrisNumber Number
@@ -55,7 +55,7 @@ highlight def link idrisOperators Operator
55highlight def link idrisType Include
55highlight def link idrisType Include
56highlight def link idrisLineComment Comment
56highlight def link idrisLineComment Comment
57highlight def link idrisBlockComment Comment
57highlight def link idrisBlockComment Comment
58−highlight idrisMetaVar ctermfg=red
58+highlight def link idrisMetaVar Identifier
59highlight def link idrisString String
59highlight def link idrisString String
60highlight def link idrisChar String
60highlight def link idrisChar String
61highlight def link idrisBacktick Operator
61highlight def link idrisBacktick Operator