From c03537a593fc93aa6d10a66ea330970763794305 Mon Sep 17 00:00:00 2001 From: Johannes Loher Date: Sat, 21 Aug 2021 15:45:16 +0200 Subject: [PATCH] vscode: update settings --- .config/Code - OSS/User/settings.json | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.config/Code - OSS/User/settings.json b/.config/Code - OSS/User/settings.json index c87aa32..f5ca2ec 100644 --- a/.config/Code - OSS/User/settings.json +++ b/.config/Code - OSS/User/settings.json @@ -38,5 +38,10 @@ "editor.defaultFormatter": "esbenp.prettier-vscode" }, "redhat.telemetry.enabled": false, - "terminal.integrated.fontFamily": "'Fira Code', 'Font Awesome 5 Brands', 'Font Awesome 5 Free', 'Font Awesome 5 Free Solid'" + "terminal.integrated.fontFamily": "'Fira Code', 'Font Awesome 5 Brands', 'Font Awesome 5 Free', 'Font Awesome 5 Free Solid'", + "diffEditor.maxComputationTime": 0, + "latex-workshop.view.pdf.viewer": "tab", + "ltex.additionalRules.motherTongue": "de-DE", + "latex-workshop.chktex.enabled": true, + "explorer.confirmDelete": false } \ No newline at end of file