chore: Update files

This commit is contained in:
Mattia Astorino 2018-04-20 21:29:02 +02:00
parent 09b8fc373d
commit 72282c61b4
No known key found for this signature in database
GPG key ID: 7BE552533AB6D4E2

View file

@ -76,6 +76,11 @@
"label": "Material Theme",
"path": "./themes/Material-Theme-Palenight.json",
"uiTheme": "vs-dark"
},
{
"label": "Material Theme Darker",
"path": "./themes/Material-Theme-Darker.json",
"uiTheme": "vs-dark"
}
],
"iconThemes": [