Update settings.json

This commit is contained in:
lianghongkey 2019-06-17 17:53:26 +08:00 committed by GitHub
parent 2bd5997f03
commit 2a800167ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions

View File

@ -22,7 +22,6 @@
"terminal.background" : "#f8f8f8", "terminal.background" : "#f8f8f8",
}, },
"editor.fontSize": 15, "editor.fontSize": 15,
"editor.fontFamily": "SF Mono",
"editor.fontWeight": "500", "editor.fontWeight": "500",
"editor.tokenColorCustomizations": { "editor.tokenColorCustomizations": {
"comments":"#7c7c7c", "comments":"#7c7c7c",
@ -33,5 +32,5 @@
"numbers": "#009100", "numbers": "#009100",
}, },
"terminal.integrated.fontWeight": "500", "terminal.integrated.fontWeight": "500",
"terminal.integrated.fontFamily": "SF Mono", "terminal.integrated.fontSize": 12,
} }