{ "editor.fontSize": 20, "makefile.configureOnOpen": false }