{ "fontshortcuts.defaultFontSize": 15, "fontshortcuts.defaultTerminalFontSize": 15, "fontshortcuts.step": 1 }