-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathSublimeLinter.sublime-settings
71 lines (71 loc) · 2.22 KB
/
SublimeLinter.sublime-settings
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
{
"debug": true,
"delay": 0.25,
"gutter_theme": "Packages/SublimeLinter/gutter-themes/Default/Default.gutter-theme",
"lint_mode": "background",
"linters": {
"php": {
"@disable": false,
"args": [],
"excludes": []
},
"phplint": {
"@disable": true,
"args": [],
"excludes": []
},
"phpmd": {
"@disable": false,
"args": [],
"excludes": [],
"rulesets": ["codesize", "design", "unusedcode"]
}
},
// "mark_style": "outline",
"no_column_highlights_line": false,
"paths": {
"linux": [],
"osx": [],
"windows": [
"{PHP}",
"{phpmd}",
"{phplint}"
]
},
// "shell_timeout": 10,
// "show_errors_on_save": false,
"show_marks_in_minimap": true,
"styles": [
{
"mark_style": "none",
"priority": 1,
"scope": "region.yellowish markup.changed.sublime_linter markup.warning.sublime_linter",
"icon": "pointer",
"types": [
"warning"
]
},
{
"mark_style": "fill",
"priority": 1,
"scope": "region.redish markup.deleted.sublime_linter markup.error.sublime_linter",
"icon": "triangle",
"types": [
"error"
]
}
],
"syntax_map": {
"html (django)": "html",
"html (rails)": "html",
"html 5": "html",
"javascript (babel)": "javascript",
"magicpython": "python",
"php": "html",
"python django": "python",
"pythonimproved": "python"
},
// "tooltip_theme": "Packages/SublimeLinter/tooltip-themes/Default/Default.tooltip-theme",
// "tooltips": false,
// "warning_color": "DDB700",
}