chore: Fix default theme

This commit is contained in:
equinusocio 2018-01-02 23:55:49 +01:00
parent 2732da498d
commit 5b0017840b
No known key found for this signature in database
GPG key ID: 7BE552533AB6D4E2

View file

@ -71,7 +71,7 @@
"themes": [
{
"label": "Material Theme",
"path": "./themes/Material-Theme-Default-High-Contrast.json",
"path": "./themes/Material-Theme-Default.json",
"uiTheme": "vs-dark"
}
],