ubuntu18.04 vscode 设置字体,字体大小,缩进风格

$ cat ~/.config/Code/User/settings.json

{
“editor.tabSize”: 4,
“editor.fontSize”: 12,
//“editor.insertSpaces”: true,
// 使用空格缩进,以及将缩进转换为空格
“editor.detectIndentation”: false,
“editor.renderControlCharacters”: true,
“editor.renderWhitespace”: “all”,
// 原来的字体支持, ‘Droid Sans Mono’, ‘monospace’, monospace, ‘Droid Sans Fallback’
//“workbench.colorTheme”: “Quiet Light”,
“git.confirmSync”: true,
“remote.SSH.showLoginTerminal”: true,
“editor.fontFamily”: “monospace”,
“editor.fontLigatures”: null
}