updating to latest config
This commit is contained in:
@@ -3,6 +3,48 @@
|
||||
"pycodestyle": {
|
||||
"ignore": ["E402", "W503"]
|
||||
}
|
||||
}
|
||||
}
|
||||
},
|
||||
"gutter_theme": "Danish Royalty",
|
||||
"highlights.time_to_idle": 60,
|
||||
"lint_mode": "save",
|
||||
"highlights.demote_while_editing": "warnings",
|
||||
// "styles": [
|
||||
// {
|
||||
// // Used to determine the color. E.g. region.<colorish>, with one of
|
||||
// // redish, orangish, yellowish, greenish, bluish, purplish, pinkish.
|
||||
// "scope": "region.greenish markup.warning.sublime_linter",
|
||||
|
||||
// // The error type this style definition will match for.
|
||||
// // An array which can contain "warning" and/or "error".
|
||||
// // If omitted will match both.
|
||||
// "types": ["warning"],
|
||||
// "mark_style": "solid_underline",
|
||||
// },
|
||||
// {
|
||||
// // Determines, for overlapping errors, which one is visualised.
|
||||
// "priority": 1,
|
||||
|
||||
// // The icon displayed in the gutter area
|
||||
// // - "circle", "dot" or "bookmark"
|
||||
// // - "none" to remove the icon
|
||||
// // - A path to an icon file like
|
||||
// // "Packages/SublimeLinter/gutter-themes/Blueberry Cross/error.png"
|
||||
// // - One provided by a gutter theme (e.g. "warning" or "error").
|
||||
// // In theme Default: warning, error, cog, x,
|
||||
// // and diamond, heart, pointer, square, star, triangle, which all
|
||||
// // also have an -outline variant.
|
||||
// "icon": "dot",
|
||||
|
||||
// // The highlight style:
|
||||
// // - "none"
|
||||
// // - "fill", "outline",
|
||||
// // - "solid_underline", "squiggly_underline", "stippled_underline"
|
||||
// // The underline styles are replaced with outlines when there is
|
||||
// // whitespace in the problem region, because underlines aren't drawn
|
||||
// // on whitespace (ST issue #137).
|
||||
// "mark_style": "outline",
|
||||
|
||||
// "scope": "region.redish markup.error.sublime_linter"
|
||||
// }
|
||||
// ],
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user