{ "linters": { "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., 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" // } // ], }