change terminal font size

This commit is contained in:
梁鸿 2020-05-18 16:13:39 +08:00
parent 0bbd428eef
commit 24122e2c29
1 changed files with 1 additions and 1 deletions

View File

@ -82,7 +82,7 @@
"explorer.openEditors.visible": 20, "explorer.openEditors.visible": 20,
"workbench.editor.showTabs": true, "workbench.editor.showTabs": true,
"breadcrumbs.enabled": false, "breadcrumbs.enabled": false,
"terminal.integrated.fontSize": 16, "terminal.integrated.fontSize": 14,
"window.menuBarVisibility": "compact", "window.menuBarVisibility": "compact",
"diffEditor.ignoreTrimWhitespace": false, "diffEditor.ignoreTrimWhitespace": false,
"files.maxMemoryForLargeFilesMB": 8192, "files.maxMemoryForLargeFilesMB": 8192,