From 48f97424661a17685042ff318dfb99eed0a54e64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robin-Charles=20Guih=C3=A9neuf?= Date: Wed, 20 Jan 2021 19:09:34 +0100 Subject: [PATCH] codium: Misc configuration --- codium/settings.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/codium/settings.json b/codium/settings.json index 1f2496b..18742f7 100644 --- a/codium/settings.json +++ b/codium/settings.json @@ -50,9 +50,9 @@ "editor.suggestSelection": "first", "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue", "C_Cpp.intelliSenseEngine": "Tag Parser", - "diffEditor.ignoreTrimWhitespace": false, + "diffEditor.ignoreTrimWhitespace": true, "python.languageServer": "Microsoft", - "git.autorefresh": false + "git.autorefresh": false, "editor.fontFamily": "'Fira Code Retina', 'Droid Sans Mono' , 'monospace', 'Droid Sans Fallback'", "editor.fontLigatures": true, "editor.fontSize": 14,