-
Notifications
You must be signed in to change notification settings - Fork 0
/
vscode-settings.json
118 lines (118 loc) · 3 KB
/
vscode-settings.json
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
{
"highlight.regexes": {
"(\\/\\*)(.*?)(\\*\\/)": {
"pattern" : "/* */",
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#67913c"
},
{
"color": "#67913c"
},
{
"color": "#67913c"
}
]
},
"([:~])": {
"pattern" : ":",
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#3FBCE9"
}
]
},
"([{}\\[\\]\\$])": {
"pattern" : "{}[]",
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#e1b327"
}
]
},
"(\")(.*?)(\")": {
"pattern" : "\"\"",
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#b06d3e"
},
{
"color": "#b06d3e"
},
{
"color": "#b06d3e"
}
]
},
"(\\()([^)]*?)(\\))": {
"pattern" : "(sth)",
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#e1b327"
},
{
"color": "#ffffff"
},
{
"color": "#e1b327"
}
]
},
"\\b(Action|Behavior|Task|Main|Agent|Port|\\|\\|)\\b": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#F73859"
}
]
},
"(<<.*>>)": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#8ef1f5"
}
]
},
"(<.*>)": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#6f72f7"
}
]
},
"(#.*#)": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#db8bd7"
}
]
},
"(@)(init|goal|routine)": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#e18127"
},
{
"color": "#e18127"
}
]
},
"\\b(each|order|if|else|publish|subscribe|unsubscribe|get|put|from|to|return|True|False)\\b": {
"filterFileRegex": ".*\\.swarm",
"decorations": [
{
"color": "#3FBCE9"
}
]
}
}
}