Update settings.json

This commit is contained in:
lianghongkey 2019-12-06 12:05:21 +08:00 committed by GitHub
parent 7d3d304f51
commit 83bbabaf95
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -88,4 +88,7 @@
"workbench.editor.showTabs": true, "workbench.editor.showTabs": true,
"breadcrumbs.enabled": false, "breadcrumbs.enabled": false,
"terminal.integrated.fontSize": 16, "terminal.integrated.fontSize": 16,
"window.menuBarVisibility": "compact",
"diffEditor.ignoreTrimWhitespace": false,
"files.maxMemoryForLargeFilesMB": 8192,
} }