Update settings.json
This commit is contained in:
parent
d15a37ca22
commit
b84f547798
|
@ -32,7 +32,7 @@
|
||||||
"numbers": "#009100",
|
"numbers": "#009100",
|
||||||
},
|
},
|
||||||
"terminal.integrated.fontWeight": "500",
|
"terminal.integrated.fontWeight": "500",
|
||||||
"terminal.integrated.fontSize": 10,
|
"terminal.integrated.fontSize": 14,
|
||||||
"explorer.autoReveal": false,
|
"explorer.autoReveal": false,
|
||||||
"editor.minimap.maxColumn": 80,
|
"editor.minimap.maxColumn": 80,
|
||||||
"editor.minimap.showSlider": "always",
|
"editor.minimap.showSlider": "always",
|
||||||
|
|
Loading…
Reference in New Issue