Update settings.json
This commit is contained in:
parent
8fe9c0b374
commit
768d2caaf2
|
@ -21,7 +21,7 @@
|
||||||
"editorBracketMatch.background": "#fffb00",
|
"editorBracketMatch.background": "#fffb00",
|
||||||
"terminal.background" : "#f8f8f8",
|
"terminal.background" : "#f8f8f8",
|
||||||
},
|
},
|
||||||
"editor.fontSize": 17,
|
"editor.fontSize": 14,
|
||||||
"editor.fontWeight": "500",
|
"editor.fontWeight": "500",
|
||||||
"editor.tokenColorCustomizations": {
|
"editor.tokenColorCustomizations": {
|
||||||
"comments":"#7c7c7c",
|
"comments":"#7c7c7c",
|
||||||
|
@ -32,7 +32,6 @@
|
||||||
"numbers": "#009100",
|
"numbers": "#009100",
|
||||||
},
|
},
|
||||||
"terminal.integrated.fontWeight": "500",
|
"terminal.integrated.fontWeight": "500",
|
||||||
"terminal.integrated.fontSize": 12,
|
"terminal.integrated.fontSize": 10,
|
||||||
"explorer.autoReveal": false,
|
"explorer.autoReveal": false,
|
||||||
"window.zoomLevel": -1,
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue