Control+Shift+P (或command +Shift+P for MacOS )然后直接修改setting.json文件:
{
"editor.fontSize": 18,
"dart.flutterSdkPath": "/usr/local/opt/dart/libexec",
"explorer.confirmDelete": false,
"go.docsTool": "gogetdoc",
"explorer.confirmDragAndDrop": false,
"window.zoomLevel": -1,
"terminal.integrated.rendererType": "dom",
"sync.gist": "de49b4750ecc9401115bf00f75ae08a9",
"editor.renderWhitespace": "all",
"[go]": {
"editor.fontSize": 15,
}
}
window.zoomLevel 是整体的放大级别,你可以改成0.8,1,2,随你。侧边栏字体放大后,编辑区可能字会太大。你改小editor.fontSize就行了。你可以为每种语言单独设置字体,但放大级别好象不支持。
参考资料:
1. https://www.jianshu.com/p/e133f5b8339e