codium: Misc configuration

This commit is contained in:
Robin-Charles Guihéneuf 2021-01-20 19:09:34 +01:00
parent ede0942720
commit ec2a91a017

View File

@ -50,9 +50,9 @@
"editor.suggestSelection": "first", "editor.suggestSelection": "first",
"vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue", "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
"C_Cpp.intelliSenseEngine": "Tag Parser", "C_Cpp.intelliSenseEngine": "Tag Parser",
"diffEditor.ignoreTrimWhitespace": false, "diffEditor.ignoreTrimWhitespace": true,
"python.languageServer": "Microsoft", "python.languageServer": "Microsoft",
"git.autorefresh": false "git.autorefresh": false,
"editor.fontFamily": "'Fira Code Retina', 'Droid Sans Mono' , 'monospace', 'Droid Sans Fallback'", "editor.fontFamily": "'Fira Code Retina', 'Droid Sans Mono' , 'monospace', 'Droid Sans Fallback'",
"editor.fontLigatures": true, "editor.fontLigatures": true,
"editor.fontSize": 14, "editor.fontSize": 14,