Update settings.json

This commit is contained in:
lianghongkey 2019-11-02 17:04:28 +08:00 committed by GitHub
parent 013132eccf
commit bfb4a1c5db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@
"functions": "#910000", "functions": "#910000",
"numbers": "#009100", "numbers": "#009100",
}, },
"terminal.integrated.fontWeight": "600", "terminal.integrated.fontWeight": "500",
"terminal.integrated.fontFamily": "SF Mono", "terminal.integrated.fontFamily": "SF Mono",
"terminal.integrated.scrollback": 10000, "terminal.integrated.scrollback": 10000,
"explorer.autoReveal": false, "explorer.autoReveal": false,