Update settings.json

This commit is contained in:
lianghongkey 2019-06-20 14:27:30 +08:00 committed by GitHub
parent a6e99b07f5
commit 8fe9c0b374
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -21,7 +21,7 @@
"editorBracketMatch.background": "#fffb00", "editorBracketMatch.background": "#fffb00",
"terminal.background" : "#f8f8f8", "terminal.background" : "#f8f8f8",
}, },
"editor.fontSize": 15, "editor.fontSize": 17,
"editor.fontWeight": "500", "editor.fontWeight": "500",
"editor.tokenColorCustomizations": { "editor.tokenColorCustomizations": {
"comments":"#7c7c7c", "comments":"#7c7c7c",
@ -34,4 +34,5 @@
"terminal.integrated.fontWeight": "500", "terminal.integrated.fontWeight": "500",
"terminal.integrated.fontSize": 12, "terminal.integrated.fontSize": 12,
"explorer.autoReveal": false, "explorer.autoReveal": false,
"window.zoomLevel": -1,
} }