dotfiles/sublime/SublimeLinter (old).sublime-settings

90 lines
1.3 KiB
Text
Raw Normal View History

{
"user":
{
"debug": false,
"delay": 0.25,
"error_color": "D02000",
"gutter_theme": "Packages/SublimeLinter/gutter-themes/Default/Default.gutter-theme",
"gutter_theme_excludes":
[
],
"lint_mode": "background",
"linters":
{
"pep8":
{
"@disable": false,
"args":
[
],
"excludes":
[
],
"ignore": "",
"max-line-length": null,
"select": ""
},
"pyflakes":
{
"@disable": false,
"args":
[
],
"excludes":
[
]
}
},
"mark_style": "outline",
"no_column_highlights_line": false,
"passive_warnings": false,
"paths":
{
"linux":
[
],
"osx":
[
],
"windows":
[
]
},
"python_paths":
{
"linux":
[
],
"osx":
[
],
"windows":
[
]
},
"rc_search_limit": 3,
"shell_timeout": 10,
"show_errors_on_save": false,
"show_marks_in_minimap": true,
"syntax_map":
{
"html (django)": "html",
"html (rails)": "html",
"html 5": "html",
"javascript (babel)": "javascript",
"magicpython": "python",
"php": "html",
"python django": "python",
"pythonimproved": "python"
},
"tooltip_fontsize": "1rem",
"tooltip_theme": "Packages/SublimeLinter/tooltip-themes/Default/Default.tooltip-theme",
"tooltip_theme_excludes":
[
],
"tooltips": true,
"warning_color": "DDB700",
"wrap_find": true
}
}