2022-11-21 21:22:42 +01:00
|
|
|
{
|
|
|
|
"extensions.autoUpdate": false,
|
|
|
|
"workbench.colorTheme": "Monokai",
|
|
|
|
"editor.minimap.enabled": false,
|
2022-11-24 20:43:41 +01:00
|
|
|
"editor.fontSize": 16,
|
2022-11-21 21:22:42 +01:00
|
|
|
"zenMode.hideLineNumbers": false,
|
|
|
|
"breadcrumbs.enabled": false,
|
|
|
|
"workbench.iconTheme": "material-icon-theme",
|
2022-12-10 18:21:04 +01:00
|
|
|
"workbench.statusBar.visible": false,
|
|
|
|
"workbench.activityBar.visible": false
|
2022-11-24 20:43:41 +01:00
|
|
|
}
|