Skip to content

Instantly share code, notes, and snippets.

@cmd-save
Created June 1, 2018 06:57
Show Gist options
  • Select an option

  • Save cmd-save/e008779afb809ff9c4711bb0aac1ceff to your computer and use it in GitHub Desktop.

Select an option

Save cmd-save/e008779afb809ff9c4711bb0aac1ceff to your computer and use it in GitHub Desktop.
sublimelinter_style
// SublimeLinter Settings - User
{
"styles": [
{
"mark_style": "outline",
"priority": 1,
"icon": "dot",
"scope": "region.yellowish markup.changed.sublime_linter markup.warning.sublime_linter",
"types": ["warning"]
},
{
"mark_style": "outline",
"priority": 1,
"icon": "dot",
"scope": "region.redish markup.deleted.sublime_linter markup.error.sublime_linter",
"types": ["error"]
},
{
"priority": 1,
"icon": "dot",
"mark_style": "outline"
}
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment