-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathicon-theme.json
225 lines (225 loc) · 9.8 KB
/
icon-theme.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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
{
"type": "object",
"allowComments": true,
"allowTrailingCommas": true,
"definitions": {
"folderExpanded": {
"type": "string",
"description": "The folder icon for expanded folders. The expanded folder icon is optional. If not set, the icon defined for folder will be shown."
},
"folder": {
"type": "string",
"description": "The folder icon for collapsed folders, and if folderExpanded is not set, also for expanded folders."
},
"file": {
"type": "string",
"description": "The default file icon, shown for all files that don't match any extension, filename or language id."
},
"folderNames": {
"type": "object",
"description": "Associates folder names to icons. The object key is the folder name, not including any path segments. No patterns or wildcards are allowed. Folder name matching is case insensitive.",
"additionalProperties": {
"type": "string",
"description": "The ID of the icon definition for the association."
}
},
"folderNamesExpanded": {
"type": "object",
"description": "Associates folder names to icons for expanded folders. The object key is the folder name, not including any path segments. No patterns or wildcards are allowed. Folder name matching is case insensitive.",
"additionalProperties": {
"type": "string",
"description": "The ID of the icon definition for the association."
}
},
"fileExtensions": {
"type": "object",
"description": "Associates file extensions to icons. The object key is the file extension name. The extension name is the last segment of a file name after the last dot (not including the dot). Extensions are compared case insensitive.",
"additionalProperties": {
"type": "string",
"description": "The ID of the icon definition for the association."
}
},
"fileNames": {
"type": "object",
"description": "Associates file names to icons. The object key is the full file name, but not including any path segments. File name can include dots and a possible file extension. No patterns or wildcards are allowed. File name matching is case insensitive.",
"additionalProperties": {
"type": "string",
"description": "The ID of the icon definition for the association."
}
},
"languageIds": {
"type": "object",
"description": "Associates languages to icons. The object key is the language id as defined in the language contribution point.",
"additionalProperties": {
"type": "string",
"description": "The ID of the icon definition for the association."
}
},
"associations": {
"type": "object",
"properties": {
"folderExpanded": {
"$ref": "#/definitions/folderExpanded"
},
"folder": {
"$ref": "#/definitions/folder"
},
"file": {
"$ref": "#/definitions/file"
},
"folderNames": {
"$ref": "#/definitions/folderNames"
},
"folderNamesExpanded": {
"$ref": "#/definitions/folderNamesExpanded"
},
"fileExtensions": {
"$ref": "#/definitions/fileExtensions"
},
"fileNames": {
"$ref": "#/definitions/fileNames"
},
"languageIds": {
"$ref": "#/definitions/languageIds"
}
}
}
},
"properties": {
"fonts": {
"type": "array",
"description": "Fonts that are used in the icon definitions.",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "The ID of the font.",
"pattern": "^([\\w_-]+)$",
"patternErrorMessage": "The ID must only contain letter, numbers, underscore and minus."
},
"src": {
"type": "array",
"description": "The location of the font.",
"items": {
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "The font path, relative to the current file icon theme file."
},
"format": {
"type": "string",
"description": "The format of the font.",
"enum": [
"woff",
"woff2",
"truetype",
"opentype",
"embedded-opentype",
"svg"
]
}
},
"required": [
"path",
"format"
]
}
},
"weight": {
"type": "string",
"description": "The weight of the font. See https://developer.mozilla.org/en-US/docs/Web/CSS/font-weight for valid values.",
"pattern": "^(normal|bold|lighter|bolder|(\\d{0-1000}))$"
},
"style": {
"type": "string",
"description": "The style of the font. See https://developer.mozilla.org/en-US/docs/Web/CSS/font-style for valid values.",
"pattern": "^(normal|italic|(oblique[ \\w\\s-]+))$"
},
"size": {
"type": "string",
"description": "The default size of the font. See https://developer.mozilla.org/en-US/docs/Web/CSS/font-size for valid values.",
"pattern": "^([\\w .%_-]+)$"
}
},
"required": [
"id",
"src"
]
}
},
"iconDefinitions": {
"type": "object",
"description": "Description of all icons that can be used when associating files to icons.",
"additionalProperties": {
"type": "object",
"description": "An icon definition. The object key is the ID of the definition.",
"properties": {
"iconPath": {
"type": "string",
"description": "When using a SVG or PNG: The path to the image. The path is relative to the icon set file."
},
"fontCharacter": {
"type": "string",
"description": "When using a glyph font: The character in the font to use."
},
"fontColor": {
"type": "string",
"format": "color-hex",
"description": "When using a glyph font: The color to use."
},
"fontSize": {
"type": "string",
"description": "When using a font: The font size in percentage to the text font. If not set, defaults to the size in the font definition.",
"pattern": "^([\\w .%_-]+)$"
},
"fontId": {
"type": "string",
"description": "When using a font: The id of the font. If not set, defaults to the first font definition."
}
}
}
},
"folderExpanded": {
"$ref": "#/definitions/folderExpanded"
},
"folder": {
"$ref": "#/definitions/folder"
},
"file": {
"$ref": "#/definitions/file"
},
"folderNames": {
"$ref": "#/definitions/folderNames"
},
"folderNamesExpanded": {
"$ref": "#/definitions/folderNamesExpanded"
},
"fileExtensions": {
"$ref": "#/definitions/fileExtensions"
},
"fileNames": {
"$ref": "#/definitions/fileNames"
},
"languageIds": {
"$ref": "#/definitions/languageIds"
},
"light": {
"$ref": "#/definitions/associations",
"description": "Optional associations for file icons in light color themes."
},
"highContrast": {
"$ref": "#/definitions/associations",
"description": "Optional associations for file icons in high contrast color themes."
},
"hidesExplorerArrows": {
"type": "boolean",
"description": "Configures whether the file explorer's arrows should be hidden when this theme is active."
},
"showLanguageModeIcons": {
"type": "boolean",
"description": "Configures whether the default language icons should be used if the theme does not define an icon for a language."
}
}
}