Support different types of gutter messages

This commit is contained in:
Zachary Yedidia
2016-04-27 12:33:33 -04:00
parent cf8de5e11d
commit 53249c46f5
7 changed files with 135 additions and 104 deletions

View File

@@ -8,4 +8,6 @@ color-link special "magenta"
color-link ignore "default"
color-link error ",brightred"
color-link todo ",brightyellow"
color-link line-number "yellow"
color-link line-number "yellow"
color-link gutter-error ",red"
color-link gutter-warning "red"