fix: theme name and ids

This commit is contained in:
Mattia Astorino 2023-08-27 11:04:54 +02:00
parent 9a17b8b439
commit 117aa96840
No known key found for this signature in database
GPG key ID: D5713A99B7005A59
3 changed files with 4 additions and 4 deletions

View file

@ -149,8 +149,8 @@
"uiTheme": "vs-dark" "uiTheme": "vs-dark"
}, },
{ {
"label": "Material Theme Deep Forest", "label": "Material Theme Deepforest",
"path": "./build/themes/Material-Theme-Deep-Forest.json", "path": "./build/themes/Material-Theme-Deepforest.json",
"uiTheme": "vs-dark" "uiTheme": "vs-dark"
}, },
{ {

View file

@ -1,6 +1,6 @@
export default { export default {
id: 'material.theme.deepforest.hc', id: 'material.theme.deepforest.hc',
name: 'Material-Theme-Deep-Forest-High-Contrast', name: 'Material-Theme-Deepforest-High-Contrast',
type: 'dark', type: 'dark',
scheme: { scheme: {
defaultAccent: '#80CBC4', defaultAccent: '#80CBC4',

View file

@ -1,6 +1,6 @@
export default { export default {
id: 'material.theme.deepforest', id: 'material.theme.deepforest',
name: 'Material-Theme-Deep-Forest', name: 'Material-Theme-Deepforest',
type: 'dark', type: 'dark',
scheme: { scheme: {
defaultAccent: '#80CBC4', defaultAccent: '#80CBC4',