Update settings.json

This commit is contained in:
lianghongkey 2019-06-21 11:43:28 +08:00 committed by GitHub
parent 768d2caaf2
commit f6e3721e32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -34,4 +34,7 @@
"terminal.integrated.fontWeight": "500", "terminal.integrated.fontWeight": "500",
"terminal.integrated.fontSize": 10, "terminal.integrated.fontSize": 10,
"explorer.autoReveal": false, "explorer.autoReveal": false,
"editor.minimap.maxColumn": 80,
"editor.minimap.showSlider": "always",
"editor.minimap.renderCharacters": false,
} }