lean4monaco 1.0.7 → 1.0.9

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 (125) hide show
  1. package/README.md +1 -1
  2. package/dist/editor.js +1 -28
  3. package/dist/infowebview.d.ts +2 -2
  4. package/dist/infowebview.js +2 -2
  5. package/dist/leanmonaco.d.ts +18 -8
  6. package/dist/leanmonaco.js +154 -117
  7. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +2 -1
  8. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +2 -2
  9. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +3 -2
  10. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +5 -3
  11. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +2 -1
  12. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +4 -2
  13. package/dist/monacoleanclient.d.ts +1 -1
  14. package/dist/preconditions.d.ts +2 -2
  15. package/dist/themes/cobalt2.json +887 -0
  16. package/dist/vscode-lean4/lean4-infoview/package.json +59 -0
  17. package/dist/vscode-lean4/lean4-infoview/src/infoview/index.css +266 -0
  18. package/dist/vscode-lean4/lean4-infoview/test/tsconfig.json +7 -0
  19. package/dist/vscode-lean4/lean4-infoview/tsconfig.json +34 -0
  20. package/dist/vscode-lean4/lean4-infoview-api/package.json +20 -0
  21. package/dist/vscode-lean4/lean4-infoview-api/tsconfig.json +29 -0
  22. package/dist/vscode-lean4/lean4-unicode-input/package.json +19 -0
  23. package/dist/vscode-lean4/lean4-unicode-input/src/abbreviations.json +1836 -0
  24. package/dist/vscode-lean4/lean4-unicode-input/tsconfig.json +18 -0
  25. package/dist/vscode-lean4/lean4-unicode-input-component/package.json +22 -0
  26. package/dist/vscode-lean4/lean4-unicode-input-component/tsconfig.json +18 -0
  27. package/dist/vscode-lean4/lerna.json +4 -0
  28. package/dist/vscode-lean4/package-lock.json +14153 -0
  29. package/dist/vscode-lean4/package.json +39 -0
  30. package/dist/vscode-lean4/vscode-lean4/abbreviationview/tsconfig.json +10 -0
  31. package/dist/vscode-lean4/vscode-lean4/language-configuration.json +157 -0
  32. package/dist/vscode-lean4/vscode-lean4/loogleview/static/index.css +94 -0
  33. package/dist/vscode-lean4/vscode-lean4/loogleview/tsconfig.json +10 -0
  34. package/dist/vscode-lean4/vscode-lean4/package.json +963 -0
  35. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +8 -0
  36. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +20 -0
  37. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.d.ts +12 -0
  38. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.js +40 -0
  39. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +20 -0
  40. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +82 -0
  41. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.d.ts +13 -0
  42. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.js +29 -0
  43. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +28 -0
  44. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +131 -0
  45. package/dist/vscode-lean4/vscode-lean4/src/config.d.ts +33 -0
  46. package/dist/vscode-lean4/vscode-lean4/src/config.js +119 -0
  47. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +27 -0
  48. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +133 -0
  49. package/dist/vscode-lean4/vscode-lean4/src/infoview.d.ts +69 -0
  50. package/dist/vscode-lean4/vscode-lean4/src/infoview.js +710 -0
  51. package/dist/vscode-lean4/vscode-lean4/src/leanclient.d.ts +66 -0
  52. package/dist/vscode-lean4/vscode-lean4/src/leanclient.js +439 -0
  53. package/dist/vscode-lean4/vscode-lean4/src/rpc.d.ts +16 -0
  54. package/dist/vscode-lean4/vscode-lean4/src/rpc.js +102 -0
  55. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.d.ts +11 -0
  56. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.js +130 -0
  57. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.d.ts +37 -0
  58. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.js +203 -0
  59. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.d.ts +40 -0
  60. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.js +209 -0
  61. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.d.ts +16 -0
  62. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.js +129 -0
  63. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.d.ts +3 -0
  64. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.js +4 -0
  65. package/dist/vscode-lean4/vscode-lean4/src/utils/envPath.d.ts +21 -0
  66. package/dist/vscode-lean4/vscode-lean4/src/utils/envPath.js +53 -0
  67. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.d.ts +36 -0
  68. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.js +143 -0
  69. package/dist/vscode-lean4/vscode-lean4/src/utils/fsHelper.d.ts +19 -0
  70. package/dist/vscode-lean4/vscode-lean4/src/utils/fsHelper.js +43 -0
  71. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +37 -0
  72. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.js +210 -0
  73. package/dist/vscode-lean4/vscode-lean4/src/utils/logger.d.ts +7 -0
  74. package/dist/vscode-lean4/vscode-lean4/src/utils/logger.js +20 -0
  75. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.d.ts +24 -0
  76. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.js +110 -0
  77. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.d.ts +27 -0
  78. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.js +131 -0
  79. package/dist/vscode-lean4/vscode-lean4/syntaxes/codeblock.json +45 -0
  80. package/dist/vscode-lean4/vscode-lean4/syntaxes/lean4-markdown.json +2637 -0
  81. package/dist/vscode-lean4/vscode-lean4/syntaxes/lean4.json +127 -0
  82. package/dist/vscode-lean4/vscode-lean4/tsconfig.json +18 -0
  83. package/dist/vscode-lean4/vscode-lean4/webview/tsconfig.json +11 -0
  84. package/dist/webview.js +1 -1
  85. package/package.json +1 -1
  86. package/dist/importmetaurl.d.ts +0 -2
  87. package/dist/importmetaurl.js +0 -26
  88. package/dist/monaco-lean4/lean4-infoview/src/index.d.ts +0 -16
  89. package/dist/monaco-lean4/lean4-infoview/src/index.js +0 -29
  90. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.d.ts +0 -12
  91. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.js +0 -37
  92. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.d.ts +0 -40
  93. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.js +0 -44
  94. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.d.ts +0 -22
  95. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.js +0 -41
  96. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.d.ts +0 -14
  97. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.js +0 -24
  98. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.d.ts +0 -33
  99. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.js +0 -57
  100. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.d.ts +0 -61
  101. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.js +0 -87
  102. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.d.ts +0 -11
  103. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.js +0 -141
  104. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.d.ts +0 -18
  105. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.js +0 -278
  106. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.d.ts +0 -2
  107. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.js +0 -113
  108. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.d.ts +0 -18
  109. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.js +0 -164
  110. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.d.ts +0 -13
  111. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.js +0 -97
  112. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.d.ts +0 -16
  113. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.js +0 -151
  114. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.d.ts +0 -21
  115. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.js +0 -67
  116. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.d.ts +0 -10
  117. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.js +0 -25
  118. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.d.ts +0 -23
  119. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.js +0 -231
  120. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.d.ts +0 -11
  121. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.js +0 -115
  122. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.d.ts +0 -48
  123. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.js +0 -54
  124. package/dist/monaco-lean4/lean4-infoview/src/infoview/util.d.ts +0 -144
  125. 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
+ }