lean4monaco 1.0.7 → 1.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (52) hide show
  1. package/README.md +1 -1
  2. package/dist/editor.js +1 -28
  3. package/dist/leanmonaco.d.ts +14 -4
  4. package/dist/leanmonaco.js +149 -112
  5. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +2 -1
  6. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +2 -2
  7. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +3 -2
  8. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +5 -3
  9. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +2 -1
  10. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +4 -2
  11. package/dist/themes/cobalt2.json +887 -0
  12. package/package.json +1 -1
  13. package/dist/importmetaurl.d.ts +0 -2
  14. package/dist/importmetaurl.js +0 -26
  15. package/dist/monaco-lean4/lean4-infoview/src/index.d.ts +0 -16
  16. package/dist/monaco-lean4/lean4-infoview/src/index.js +0 -29
  17. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.d.ts +0 -12
  18. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.js +0 -37
  19. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.d.ts +0 -40
  20. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.js +0 -44
  21. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.d.ts +0 -22
  22. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.js +0 -41
  23. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.d.ts +0 -14
  24. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.js +0 -24
  25. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.d.ts +0 -33
  26. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.js +0 -57
  27. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.d.ts +0 -61
  28. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.js +0 -87
  29. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.d.ts +0 -11
  30. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.js +0 -141
  31. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.d.ts +0 -18
  32. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.js +0 -278
  33. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.d.ts +0 -2
  34. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.js +0 -113
  35. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.d.ts +0 -18
  36. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.js +0 -164
  37. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.d.ts +0 -13
  38. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.js +0 -97
  39. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.d.ts +0 -16
  40. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.js +0 -151
  41. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.d.ts +0 -21
  42. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.js +0 -67
  43. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.d.ts +0 -10
  44. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.js +0 -25
  45. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.d.ts +0 -23
  46. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.js +0 -231
  47. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.d.ts +0 -11
  48. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.js +0 -115
  49. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.d.ts +0 -48
  50. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.js +0 -54
  51. package/dist/monaco-lean4/lean4-infoview/src/infoview/util.d.ts +0 -144
  52. package/dist/monaco-lean4/lean4-infoview/src/infoview/util.js +0 -366
@@ -0,0 +1,887 @@
1
+ {
2
+ "$schema": "vscode://schemas/color-theme",
3
+ "name": "Cobalt",
4
+ "type": "dark",
5
+ "semanticHighlighting": true,
6
+ "semanticTokenColors": {
7
+ "function": {
8
+ "foreground": "#ffc600"
9
+ },
10
+ "variable": "#fff",
11
+ "interface": {
12
+ // "foreground": "#ff0088",
13
+ "foreground": "#FF68B8",
14
+ "italic": true
15
+ },
16
+ "type": {
17
+ // "foreground": "#ff0088",
18
+ "foreground": "#FF68B8",
19
+ "italic": true
20
+ },
21
+ // This colours both object definiton properties, as well as references. If the property does not exist, it will be white\.
22
+ "property": "#9effff"
23
+ },
24
+ "colors": {
25
+ // menu
26
+ "menu.selectionForeground": "#fff",
27
+ "menubar.selectionBackground": "#0d3a58",
28
+ // activityBar
29
+ "activityBar.background": "#122738",
30
+ "activityBar.border": "#0d3a58",
31
+ "activityBar.dropBackground": "#0d3a58",
32
+ "activityBar.foreground": "#fff",
33
+ "activityBarBadge.background": "#ffc600",
34
+ "activityBarBadge.foreground": "#000",
35
+ // badge
36
+ "badge.background": "#ffc600",
37
+ "badge.foreground": "#000",
38
+ // button
39
+ "button.background": "#0088ff",
40
+ "button.foreground": "#fff",
41
+ "button.hoverBackground": "#ff9d00",
42
+ // contrast
43
+ // "contrastActiveBorder": null,
44
+ "contrastBorder": "#ffffff00",
45
+ // debug
46
+ "debugConsole.errorForeground": "#ff5630",
47
+ "debugExceptionWidget.background": "#193549",
48
+ "debugExceptionWidget.border": "#aaa",
49
+ "debugToolBar.background": "#193549",
50
+ // description
51
+ "descriptionForeground": "#aaa",
52
+ // diff
53
+ "diffEditor.insertedTextBackground": "#3ad90033",
54
+ "diffEditor.insertedTextBorder": "#00000000",
55
+ "diffEditor.removedTextBackground": "#ee3a4333",
56
+ "diffEditor.removedTextBorder": "#00000000",
57
+ // dropdown
58
+ "dropdown.background": "#193549",
59
+ "dropdown.border": "#15232d",
60
+ "dropdown.foreground": "#fff",
61
+ // editor
62
+ // This is the main background color
63
+ "editor.background": "#193549",
64
+ // this is the main text colour
65
+ "editor.foreground": "#fff",
66
+ // Okay this part is confusing as heck!
67
+ // Currently found item
68
+ "editor.findMatchBackground": "#FF720066",
69
+ // Other Found Items int the document
70
+ "editor.findMatchHighlightBackground": "#CAD40F66",
71
+ // WTF is this one for? I don't know
72
+ "editor.findRangeHighlightBackground": "#243E51",
73
+ // When you hover over something and a popup shows, this highlights that thing
74
+ "editor.hoverHighlightBackground": "#ffc60033",
75
+ // when you have something selected, but have lost focus on the editor
76
+ "editor.inactiveSelectionBackground": "#003b8b",
77
+ // current line styles
78
+ "editor.lineHighlightBackground": "#1F4662",
79
+ "editor.lineHighlightBorder": "#234E6D",
80
+ "editor.rangeHighlightBackground": "#1F4662",
81
+ // selected Text colours
82
+ // This is the standard Select colour
83
+ "editor.selectionBackground": "#0050A4",
84
+ // This is the colour of the other matching elements
85
+ "editor.selectionHighlightBackground": "#0050A480",
86
+ // if you tab away you can colour it differently, but ill leave this one out
87
+ // "editor.inactiveSelectionBackground": "",
88
+ // Word Highlights! This happens when you move your cursor inside a variable
89
+ // Strong is the one where your cursor currently is
90
+ "editor.wordHighlightStrongBackground": "#ffffff21",
91
+ // and this one is the rest of them
92
+ "editor.wordHighlightBackground": "#ffffff21",
93
+ "editorBracketMatch.background": "#0d3a58",
94
+ "editorBracketMatch.border": "#ffc60080",
95
+ "editorCodeLens.foreground": "#aaa",
96
+ "editorCursor.foreground": "#ffc600",
97
+ // Errors
98
+ "editorError.border": "#0d3a58",
99
+ "editorError.foreground": "#A22929",
100
+ // Hints (little dots under the beginning of a word)
101
+ "editorHint.foreground": "#ffc600",
102
+ // gutter
103
+ "editorGutter.background": "#12273866",
104
+ "editorGutter.addedBackground": "#3C9F4A",
105
+ "editorGutter.deletedBackground": "#A22929",
106
+ "editorGutter.modifiedBackground": "#ffc600",
107
+ // editorGroup
108
+ "editorGroup.background": "#A22929",
109
+ "editorGroup.border": "#122738",
110
+ "editorGroup.dropBackground": "#12273899",
111
+ // editorGroupHeader
112
+ "editorGroupHeader.noTabsBackground": "#193549",
113
+ "editorGroupHeader.tabsBackground": "#122738",
114
+ "editorGroupHeader.tabsBorder": "#15232d",
115
+ // editorHoverWidget
116
+ "editorHoverWidget.background": "#15232d",
117
+ "editorHoverWidget.border": "#0d3a58",
118
+ "editorIndentGuide.background": "#3B5364",
119
+ "editorInlayHint.foreground": "#ff68b8",
120
+ "editorInlayHint.background": "#0000001a",
121
+ "editorLineNumber.foreground": "#aaa",
122
+ "editorLink.activeForeground": "#aaa",
123
+ // editorMarkerNavigation
124
+ "editorMarkerNavigation.background": "#3B536433",
125
+ "editorMarkerNavigationError.background": "#A22929",
126
+ "editorMarkerNavigationWarning.background": "#ffc600",
127
+ // ruler
128
+ "editorOverviewRuler.border": "#0d3a58",
129
+ "editorOverviewRuler.commonContentForeground": "#ffc60055",
130
+ "editorOverviewRuler.currentContentForeground": "#ee3a4355",
131
+ "editorOverviewRuler.incomingContentForeground": "#3ad90055",
132
+ "editorRuler.foreground": "#1F4662",
133
+ // editorSuggestWidget
134
+ "editorSuggestWidget.background": "#15232d",
135
+ "editorSuggestWidget.border": "#15232d",
136
+ "editorSuggestWidget.foreground": "#aaa",
137
+ "editorSuggestWidget.highlightForeground": "#ffc600",
138
+ "editorSuggestWidget.selectedBackground": "#193549",
139
+ // editorWarning
140
+ "editorWarning.border": "#ffffff00",
141
+ "editorWarning.foreground": "#ffc600",
142
+ "editorWhitespace.foreground": "#ffffff52",
143
+ "editorWidget.background": "#15232d",
144
+ "editorWidget.border": "#0d3a58",
145
+ "errorForeground": "#A22929",
146
+ // extensionButton
147
+ "extensionButton.prominentBackground": "#0088ff",
148
+ "extensionButton.prominentForeground": "#fff",
149
+ "extensionButton.prominentHoverBackground": "#ff9d00",
150
+ "focusBorder": "#0d3a58",
151
+ "foreground": "#aaa",
152
+ // input
153
+ "input.background": "#193549",
154
+ "input.border": "#0d3a58",
155
+ "input.foreground": "#ffc600",
156
+ "input.placeholderForeground": "#aaa",
157
+ "inputOption.activeBorder": "#8dffff",
158
+ "inputValidation.errorBackground": "#193549",
159
+ "inputValidation.errorBorder": "#ffc600",
160
+ "inputValidation.infoBackground": "#193549",
161
+ "inputValidation.infoBorder": "#0D3A58",
162
+ "inputValidation.warningBackground": "#193549",
163
+ "inputValidation.warningBorder": "#ffc600",
164
+ // list
165
+ "list.activeSelectionBackground": "#193549",
166
+ "list.activeSelectionForeground": "#aaa",
167
+ "list.dropBackground": "#0d3a58",
168
+ "list.focusBackground": "#0d3a58",
169
+ "list.focusForeground": "#aaa",
170
+ "list.highlightForeground": "#ffc600",
171
+ "list.hoverBackground": "#193549",
172
+ "list.hoverForeground": "#aaa",
173
+ "list.inactiveSelectionBackground": "#0d3a58",
174
+ "list.inactiveSelectionForeground": "#aaa",
175
+ // menu
176
+ "menu.background": "#122738",
177
+ // merge
178
+ "merge.border": "#ffffff00",
179
+ "merge.commonContentBackground": "#c97d0c",
180
+ "merge.commonHeaderBackground": "#c97d0c",
181
+ "merge.currentContentBackground": "#2F7366",
182
+ "merge.currentHeaderBackground": "#2F7366",
183
+ "merge.incomingContentBackground": "#185294",
184
+ "merge.incomingHeaderBackground": "#185294",
185
+ // notification colors - The colors below only apply for VS Code versions 1.21 and higher.
186
+ "notificationCenter.border": "#ffc600",
187
+ "notificationCenterHeader.foreground": "#aaa",
188
+ "notificationCenterHeader.background": "#122738",
189
+ "notificationToast.border": "#ffc600",
190
+ "notifications.foreground": "#aaa",
191
+ "notifications.background": "#122738",
192
+ "notifications.border": "#ffc600",
193
+ "notificationLink.foreground": "#ffc600",
194
+ // panel
195
+ "panel.background": "#122738",
196
+ "panel.border": "#ffc600",
197
+ "panelTitle.activeBorder": "#ffc600",
198
+ "panelTitle.activeForeground": "#ffc600",
199
+ "panelTitle.inactiveForeground": "#aaa",
200
+ // "peekView
201
+ "peekView.border": "#ffc600",
202
+ "peekViewEditor.background": "#193549",
203
+ "peekViewEditor.matchHighlightBackground": "#19354900",
204
+ "peekViewEditorGutter.background": "#122738",
205
+ "peekViewResult.background": "#15232d",
206
+ "peekViewResult.fileForeground": "#aaa",
207
+ "peekViewResult.lineForeground": "#fff",
208
+ "peekViewResult.matchHighlightBackground": "#0d3a58",
209
+ "peekViewResult.selectionBackground": "#0d3a58",
210
+ "peekViewResult.selectionForeground": "#fff",
211
+ "peekViewTitle.background": "#15232d",
212
+ "peekViewTitleDescription.foreground": "#aaa",
213
+ "peekViewTitleLabel.foreground": "#ffc600",
214
+ // picker
215
+ "pickerGroup.border": "#0d3a58",
216
+ "pickerGroup.foreground": "#aaa",
217
+ // progressBar
218
+ "progressBar.background": "#ffc600",
219
+ // scrollbar
220
+ "scrollbar.shadow": "#00000000",
221
+ "scrollbarSlider.activeBackground": "#355166cc",
222
+ "scrollbarSlider.background": "#406179cc",
223
+ "scrollbarSlider.hoverBackground": "#437da3cc",
224
+ // selection
225
+ "selection.background": "#027dff",
226
+ // settings
227
+ "settings.checkboxBorder": "#aaa",
228
+ // sidebar
229
+ "sideBar.background": "#15232d",
230
+ "sideBar.border": "#0d3a58",
231
+ "sideBar.foreground": "#aaa",
232
+ "sideBarSectionHeader.background": "#193549",
233
+ "sideBarSectionHeader.foreground": "#aaaaaa",
234
+ "sideBarTitle.foreground": "#aaaaaa",
235
+ // statusBar
236
+ "statusBar.background": "#15232d",
237
+ "statusBar.border": "#0d3a58",
238
+ "statusBar.debuggingBackground": "#15232d",
239
+ "statusBar.debuggingBorder": "#ffc600",
240
+ "statusBar.debuggingForeground": "#ffc600",
241
+ "statusBar.foreground": "#aaa",
242
+ "statusBar.noFolderBackground": "#15232d",
243
+ "statusBar.noFolderBorder": "#0d3a58",
244
+ "statusBar.noFolderForeground": "#aaa",
245
+ "statusBarItem.activeBackground": "#0088ff",
246
+ "statusBarItem.hoverBackground": "#0d3a58",
247
+ "statusBarItem.prominentBackground": "#15232d",
248
+ "statusBarItem.prominentHoverBackground": "#0d3a58",
249
+ "statusBarItem.remoteBackground": "#15232d",
250
+ "statusBarItem.remoteForeground": "#aaa",
251
+ // tab
252
+ "tab.activeBackground": "#193549",
253
+ "tab.activeForeground": "#fff",
254
+ "tab.border": "#15232D",
255
+ "tab.activeBorder": "#ffc600",
256
+ "tab.inactiveBackground": "#122738",
257
+ "tab.inactiveForeground": "#aaa",
258
+ "tab.unfocusedActiveForeground": "#aaa",
259
+ "tab.unfocusedInactiveForeground": "#aaa",
260
+ // --- workbench: terminal
261
+ "terminal.ansiBlack": "#000000",
262
+ "terminal.ansiRed": "#ff628c",
263
+ "terminal.ansiGreen": "#3ad900",
264
+ "terminal.ansiYellow": "#ffc600",
265
+ "terminal.ansiBlue": "#0088ff",
266
+ "terminal.ansiMagenta": "#fb94ff",
267
+ "terminal.ansiCyan": "#80fcff",
268
+ "terminal.ansiWhite": "#ffffff",
269
+ "terminal.ansiBrightBlack": "#0050A4",
270
+ "terminal.ansiBrightRed": "#ff628c",
271
+ "terminal.ansiBrightGreen": "#3ad900",
272
+ "terminal.ansiBrightYellow": "#ffc600",
273
+ "terminal.ansiBrightBlue": "#0088ff",
274
+ "terminal.ansiBrightMagenta": "#fb94ff",
275
+ "terminal.ansiBrightCyan": "#80fcff",
276
+ "terminal.ansiBrightWhite": "#ffffff",
277
+ "terminal.background": "#122738",
278
+ "terminal.foreground": "#ffffff",
279
+ "terminalCursor.background": "#122738",
280
+ "terminalCursor.foreground": "#ffc600",
281
+ // Git status colors in File Explorer
282
+ "gitDecoration.modifiedResourceForeground": "#ffc600",
283
+ "gitDecoration.deletedResourceForeground": "#ff628c",
284
+ "gitDecoration.untrackedResourceForeground": "#3ad900",
285
+ "gitDecoration.ignoredResourceForeground": "#808080",
286
+ "gitDecoration.conflictingResourceForeground": "#FF7200",
287
+ // textBlockQuote
288
+ "textBlockQuote.background": "#193549",
289
+ "textBlockQuote.border": "#0088ff",
290
+ "textCodeBlock.background": "#193549",
291
+ "textLink.activeForeground": "#0088ff",
292
+ "textLink.foreground": "#0088ff",
293
+ "textPreformat.foreground": "#ffc600",
294
+ "textSeparator.foreground": "#0d3a58",
295
+ "titleBar.activeBackground": "#15232D",
296
+ "titleBar.activeForeground": "#ffffff",
297
+ "titleBar.inactiveBackground": "#193549",
298
+ "titleBar.inactiveForeground": "#ffffff33",
299
+ "walkThrough.embeddedEditorBackground": "#0d3a58",
300
+ "welcomePage.buttonBackground": "#193549",
301
+ "welcomePage.buttonHoverBackground": "#0d3a58",
302
+ "widget.shadow": "#00000026"
303
+ },
304
+ "tokenColors": [
305
+ {
306
+ "name": "Comment",
307
+ "scope": ["comment", "punctuation.definition.comment"],
308
+ "settings": {
309
+ "fontStyle": "italic",
310
+ "foreground": "#0088ff"
311
+ }
312
+ },
313
+ {
314
+ "name": "Constant",
315
+ "scope": "constant",
316
+ "settings": {
317
+ "foreground": "#ff628c"
318
+ }
319
+ },
320
+ {
321
+ "name": "Entity",
322
+ "scope": "entity",
323
+ "settings": {
324
+ "foreground": "#ffc600"
325
+ }
326
+ },
327
+ {
328
+ "name": "Invalid",
329
+ "scope": "invalid",
330
+ "settings": {
331
+ "foreground": "#f44542"
332
+ }
333
+ },
334
+ {
335
+ "name": "Storage Type Function",
336
+ "scope": "storage.type.function",
337
+ "settings": {
338
+ "foreground": "#ff9d00"
339
+ }
340
+ },
341
+ {
342
+ "name": "Keyword",
343
+ "scope": "keyword, storage.type.class, keyword.control.default.ts",
344
+ "settings": {
345
+ "foreground": "#ff9d00"
346
+ }
347
+ },
348
+ {
349
+ "name": "Markup Inserted",
350
+ "scope": ["markup.inserted", "meta.diff.header.to-file"],
351
+ "settings": {
352
+ "foreground": "#a5ff90"
353
+ }
354
+ },
355
+ {
356
+ "name": "Markup Inserted Punctuation",
357
+ "scope": ["punctuation.definition.inserted"],
358
+ "settings": {
359
+ "foreground": "#a5ff90cc"
360
+ }
361
+ },
362
+ {
363
+ "name": "Markup Deleted",
364
+ "scope": ["markup.deleted", "meta.diff.header.from-file"],
365
+ "settings": {
366
+ "foreground": "#ff628c"
367
+ }
368
+ },
369
+ {
370
+ "name": "Markup Deleted Punctuation",
371
+ "scope": ["punctuation.definition.deleted"],
372
+ "settings": {
373
+ "foreground": "#ff628ccc"
374
+ }
375
+ },
376
+ {
377
+ "name": "Meta",
378
+ "scope": "meta",
379
+ "settings": {
380
+ "foreground": "#9effff"
381
+ }
382
+ },
383
+ {
384
+ "name": "Meta JSX",
385
+ "scope": [
386
+ "meta.jsx.children",
387
+ "meta.jsx.children.js",
388
+ "meta.jsx.children.tsx"
389
+ ],
390
+ "settings": {
391
+ "foreground": "#fff"
392
+ }
393
+ },
394
+ {
395
+ "name": "Meta Brace",
396
+ "scope": "meta.brace",
397
+ "settings": {
398
+ "foreground": "#e1efff"
399
+ }
400
+ },
401
+ {
402
+ "name": "Punctuation",
403
+ "scope": "punctuation",
404
+ "settings": {
405
+ "foreground": "#e1efff"
406
+ }
407
+ },
408
+ {
409
+ "name": "Punctuation Parameters",
410
+ "scope": "punctuation.definition.parameters",
411
+ "settings": {
412
+ "foreground": "#ffee80"
413
+ }
414
+ },
415
+ {
416
+ "name": "Punctuation Template Expression",
417
+ "scope": "punctuation.definition.template-expression",
418
+ "settings": {
419
+ "foreground": "#ffee80"
420
+ }
421
+ },
422
+ {
423
+ "name": "Storage",
424
+ "scope": "storage",
425
+ "settings": {
426
+ "foreground": "#ffc600"
427
+ }
428
+ },
429
+ {
430
+ "name": "Storage Type Arrow Function",
431
+ "scope": "storage.type.function.arrow",
432
+ "settings": {
433
+ "foreground": "#ffc600"
434
+ }
435
+ },
436
+ {
437
+ "name": "String",
438
+ "scope": ["string", "punctuation.definition.string"],
439
+ "settings": {
440
+ "foreground": "#a5ff90"
441
+ }
442
+ },
443
+ {
444
+ "name": "String Template",
445
+ "scope": ["string.template", "punctuation.definition.string.template"],
446
+ "settings": {
447
+ "foreground": "#3ad900"
448
+ }
449
+ },
450
+ {
451
+ "name": "Support",
452
+ "scope": "support",
453
+ "settings": {
454
+ "foreground": "#80ffbb"
455
+ }
456
+ },
457
+ {
458
+ "name": "Support Function",
459
+ "scope": "support.function",
460
+ "settings": {
461
+ "foreground": "#ff9d00"
462
+ }
463
+ },
464
+ {
465
+ "name": "Support Variable Property DOM",
466
+ "scope": "support.variable.property.dom",
467
+ "settings": {
468
+ "foreground": "#e1efff"
469
+ }
470
+ },
471
+ {
472
+ "name": "Variable",
473
+ "scope": "variable",
474
+ "settings": {
475
+ "foreground": "#e1efff"
476
+ }
477
+ },
478
+ {
479
+ "name": "[CSS] - Entity",
480
+ "scope": ["source.css entity", "source.stylus entity"],
481
+ "settings": {
482
+ "foreground": "#3ad900"
483
+ }
484
+ },
485
+ {
486
+ "name": "[CSS] - ID Selector",
487
+ "scope": "entity.other.attribute-name.id.css",
488
+ "settings": {
489
+ "foreground": "#FFB454"
490
+ }
491
+ },
492
+ {
493
+ "name": "[CSS] - Element Selector",
494
+ "scope": "entity.name.tag",
495
+ "settings": {
496
+ "foreground": "#9EFFFF"
497
+ }
498
+ },
499
+ {
500
+ "name": "[CSS] - Support",
501
+ "scope": ["source.css support", "source.stylus support"],
502
+ "settings": {
503
+ "foreground": "#a5ff90"
504
+ }
505
+ },
506
+ {
507
+ "name": "[CSS] - Constant",
508
+ "scope": [
509
+ "source.css constant",
510
+ "source.css support.constant",
511
+ "source.stylus constant",
512
+ "source.stylus support.constant"
513
+ ],
514
+ "settings": {
515
+ "foreground": "#ffee80"
516
+ }
517
+ },
518
+ {
519
+ "name": "[CSS] - String",
520
+ "scope": [
521
+ "source.css string",
522
+ "source.css punctuation.definition.string",
523
+ "source.stylus string",
524
+ "source.stylus punctuation.definition.string"
525
+ ],
526
+ "settings": {
527
+ "foreground": "#ffee80"
528
+ }
529
+ },
530
+ {
531
+ "name": "[CSS] - Variable",
532
+ "scope": ["source.css variable", "source.stylus variable"],
533
+ "settings": {
534
+ "foreground": "#9effff"
535
+ }
536
+ },
537
+ {
538
+ "name": "[HTML] - Entity Name",
539
+ "scope": "text.html.basic entity.name",
540
+ "settings": {
541
+ "foreground": "#9effff"
542
+ }
543
+ },
544
+ {
545
+ "name": "[HTML] - ID value",
546
+ "scope": "meta.toc-list.id.html",
547
+ "settings": {
548
+ "foreground": "#A5FF90"
549
+ }
550
+ },
551
+ {
552
+ "name": "[HTML] - Entity Other",
553
+ "scope": "text.html.basic entity.other",
554
+ "settings": {
555
+ "fontStyle": "italic",
556
+ "foreground": "#ffc600"
557
+ }
558
+ },
559
+ {
560
+ "name": "[HTML] - Script Tag",
561
+ "scope": "meta.tag.metadata.script.html entity.name.tag.html",
562
+ "settings": {
563
+ "foreground": "#ffc600"
564
+ }
565
+ },
566
+ {
567
+ "name": "[HTML] - Quotes. these are a slightly different colour because expand selection will then not include quotes",
568
+ "scope": "punctuation.definition.string.begin, punctuation.definition.string.end",
569
+ "settings": {
570
+ "foreground": "#92fc79"
571
+ }
572
+ },
573
+ {
574
+ "name": "[INI] - Entity",
575
+ "scope": "source.ini entity",
576
+ "settings": {
577
+ "foreground": "#e1efff"
578
+ }
579
+ },
580
+ {
581
+ "name": "[INI] - Keyword",
582
+ "scope": "source.ini keyword",
583
+ "settings": {
584
+ "foreground": "#ffc600"
585
+ }
586
+ },
587
+ {
588
+ "name": "[INI] - Punctuation Definition",
589
+ "scope": "source.ini punctuation.definition",
590
+ "settings": {
591
+ "foreground": "#ffee80"
592
+ }
593
+ },
594
+ {
595
+ "name": "[INI] - Punctuation Separator",
596
+ "scope": "source.ini punctuation.separator",
597
+ "settings": {
598
+ "foreground": "#ff9d00"
599
+ }
600
+ },
601
+ {
602
+ "name": "[JAVASCRIPT] - Storage Type Function",
603
+ "scope": "source.js storage.type.function, source.ts storage.type.function",
604
+ "settings": {
605
+ "foreground": "#fb94ff"
606
+ }
607
+ },
608
+ {
609
+ "name": "[JAVASCRIPT] - Variable Language",
610
+ "scope": "variable.language, entity.name.type.class.js",
611
+ "settings": {
612
+ "foreground": "#fb94ff"
613
+ }
614
+ },
615
+ {
616
+ "name": "[JAVASCRIPT] - Inherited Component",
617
+ "scope": "entity.other.inherited-class.js",
618
+ "settings": {
619
+ "foreground": "#ccc"
620
+ }
621
+ },
622
+ {
623
+ "name": "[PYTHON] - Self Argument",
624
+ "scope": ["variable.parameter.function.language.special.self.python","meta.function-call.generic.python"],
625
+ "settings": {
626
+ "foreground": "#9effff"
627
+ }
628
+ },
629
+ {
630
+ "name": "[PYTHON] - Function Call Argument",
631
+ "scope": ["meta.function-call.arguments.python"],
632
+ "settings": {
633
+ "foreground": "#fb94ff"
634
+ }
635
+ },
636
+ {
637
+ "name": "[JSON] - Support",
638
+ "scope": "source.json support",
639
+ "settings": {
640
+ "foreground": "#ffc600"
641
+ }
642
+ },
643
+ {
644
+ "name": "[JSON] - String",
645
+ "scope": [
646
+ "source.json string",
647
+ "source.json punctuation.definition.string"
648
+ ],
649
+ "settings": {
650
+ "foreground": "#e1efff"
651
+ }
652
+ },
653
+ {
654
+ "name": "[MARKDOWN] - Heading Punctuation",
655
+ "scope": "punctuation.definition.heading.markdown",
656
+ "settings": {
657
+ "foreground": "#e1efff"
658
+ }
659
+ },
660
+ {
661
+ "name": "[MARKDOWN] - Heading Name Section",
662
+ "scope": [
663
+ "entity.name.section.markdown",
664
+ "markup.heading.setext.1.markdown",
665
+ "markup.heading.setext.2.markdown"
666
+ ],
667
+ "settings": {
668
+ "foreground": "#ffc600",
669
+ "fontStyle": "bold"
670
+ }
671
+ },
672
+ {
673
+ "name": "[MARKDOWN] - Paragraph",
674
+ "scope": "meta.paragraph.markdown",
675
+ "settings": {
676
+ "foreground": "#e1efff"
677
+ }
678
+ },
679
+ {
680
+ "name": "[MARKDOWN] - Quote Punctuation",
681
+ "scope": "beginning.punctuation.definition.quote.markdown",
682
+ "settings": {
683
+ "foreground": "#ffc600"
684
+ }
685
+ },
686
+ {
687
+ "name": "[MARKDOWN] - Quote Paragraph",
688
+ "scope": "markup.quote.markdown meta.paragraph.markdown",
689
+ "settings": {
690
+ "fontStyle": "italic",
691
+ "foreground": "#9effff"
692
+ }
693
+ },
694
+ {
695
+ "name": "[MARKDOWN] - Separator",
696
+ "scope": "meta.separator.markdown",
697
+ "settings": {
698
+ "foreground": "#ffc600"
699
+ }
700
+ },
701
+ {
702
+ "name": "[MARKDOWN] - Emphasis Bold",
703
+ "scope": "markup.bold.markdown",
704
+ "settings": {
705
+ "fontStyle": "bold",
706
+ "foreground": "#9effff"
707
+ }
708
+ },
709
+ {
710
+ "name": "[MARKDOWN] - Emphasis Italic",
711
+ "scope": "markup.italic.markdown",
712
+ "settings": {
713
+ "fontStyle": "italic",
714
+ "foreground": "#9effff"
715
+ }
716
+ },
717
+ {
718
+ "name": "[MARKDOWN] - Lists",
719
+ "scope": "beginning.punctuation.definition.list.markdown",
720
+ "settings": {
721
+ "foreground": "#ffc600"
722
+ }
723
+ },
724
+ {
725
+ "name": "[MARKDOWN] - Link Title",
726
+ "scope": "string.other.link.title.markdown",
727
+ "settings": {
728
+ "foreground": "#a5ff90"
729
+ }
730
+ },
731
+ {
732
+ "name": "[MARKDOWN] - Link/Image Title",
733
+ "scope": [
734
+ "string.other.link.title.markdown",
735
+ "string.other.link.description.markdown",
736
+ "string.other.link.description.title.markdown"
737
+ ],
738
+ "settings": {
739
+ "foreground": "#a5ff90"
740
+ }
741
+ },
742
+ {
743
+ "name": "[MARKDOWN] - Link Address",
744
+ "scope": [
745
+ "markup.underline.link.markdown",
746
+ "markup.underline.link.image.markdown"
747
+ ],
748
+ "settings": {
749
+ "foreground": "#9effff"
750
+ }
751
+ },
752
+ {
753
+ "name": "[MARKDOWN] - Inline Code",
754
+ "scope": ["fenced_code.block.language", "markup.inline.raw.markdown"],
755
+ "settings": {
756
+ "foreground": "#9effff"
757
+ }
758
+ },
759
+ {
760
+ "name": "[MARKDOWN] - Code Block",
761
+ "scope": ["fenced_code.block.language", "markup.inline.raw.markdown"],
762
+ "settings": {
763
+ "foreground": "#9effff"
764
+ }
765
+ },
766
+ {
767
+ "name": "[PUG] - Entity Name",
768
+ "scope": "text.jade entity.name",
769
+ "settings": {
770
+ "foreground": "#9effff"
771
+ }
772
+ },
773
+ {
774
+ "name": "[PUG] - Entity Attribute Name",
775
+ "scope": "text.jade entity.other.attribute-name.tag",
776
+ "settings": {
777
+ "fontStyle": "italic"
778
+ }
779
+ },
780
+ {
781
+ "name": "[PUG] - String Interpolated",
782
+ "scope": "text.jade string.interpolated",
783
+ "settings": {
784
+ "foreground": "#ffee80"
785
+ }
786
+ },
787
+ {
788
+ "name": "[TYPESCRIPT] - Entity Name Type",
789
+ "scope": "source.ts entity.name.type",
790
+ "settings": {
791
+ "foreground": "#80ffbb"
792
+ }
793
+ },
794
+ {
795
+ "name": "[TYPESCRIPT] - Keyword",
796
+ "scope": "source.ts keyword",
797
+ "settings": {
798
+ "foreground": "#ffc600"
799
+ }
800
+ },
801
+ {
802
+ "name": "[TYPESCRIPT] - Punctuation Parameters",
803
+ "scope": "source.ts punctuation.definition.parameters",
804
+ "settings": {
805
+ "foreground": "#e1efff"
806
+ }
807
+ },
808
+ {
809
+ "name": "[TYPESCRIPT] - Punctuation Arrow Parameters",
810
+ "scope": "meta.arrow.ts punctuation.definition.parameters",
811
+ "settings": {
812
+ "foreground": "#ffee80"
813
+ }
814
+ },
815
+ {
816
+ "name": "[PHP] - Entity",
817
+ "scope": "source.php entity",
818
+ "settings": {
819
+ "foreground": "#9effff"
820
+ }
821
+ },
822
+ {
823
+ "name": "[PHP] - Variables",
824
+ "scope": "variable.other.php",
825
+ "settings": {
826
+ "foreground": "#ffc600"
827
+ }
828
+ },
829
+ {
830
+ "name": "[C#] - Annotations",
831
+ "scope": "storage.type.cs",
832
+ "settings": {
833
+ "foreground": "#9effff"
834
+ }
835
+ },
836
+ {
837
+ "name": "[C#] - Properties",
838
+ "scope": "entity.name.variable.property.cs",
839
+ "settings": {
840
+ "foreground": "#9effff"
841
+ }
842
+ },
843
+ {
844
+ "name": "[C#] - Storage modifiers",
845
+ "scope": "storage.modifier.cs",
846
+ "settings": {
847
+ "foreground": "#80ffbb"
848
+ }
849
+ },
850
+ {
851
+ "name": "Italicsify for Operator Mono",
852
+ "scope": [
853
+ "modifier",
854
+ "this",
855
+ "comment",
856
+ "storage.modifier",
857
+ "entity.other.attribute-name.js",
858
+ // "storage.modifier.js",
859
+ // "storage.modifier.ts",
860
+ // "storage.modifier.tsx",
861
+ "entity.other.attribute-name.js",
862
+ "entity.other.attribute-name.ts",
863
+ "entity.other.attribute-name.tsx",
864
+ "entity.other.attribute-name.html"
865
+ ],
866
+ "settings": {
867
+ "fontStyle": "italic"
868
+ }
869
+ },
870
+ {
871
+ "name": "Export Default",
872
+ "scope": ["keyword.control.export"],
873
+ "settings": {
874
+ "foreground": "#ff9d00",
875
+ "fontStyle": "italic"
876
+ }
877
+ },
878
+ {
879
+ "name": "[TYPESCRIPT] Returned Type",
880
+ "scope": ["meta.return.type.ts"],
881
+ "settings": {
882
+ "foreground": "#ff0088",
883
+ "fontStyle": "italic"
884
+ }
885
+ }
886
+ ]
887
+ }