vscode: update settings

This commit is contained in:
Johannes Loher 2021-08-21 15:45:16 +02:00
parent ba41ba23cc
commit c03537a593

View file

@ -38,5 +38,10 @@
"editor.defaultFormatter": "esbenp.prettier-vscode" "editor.defaultFormatter": "esbenp.prettier-vscode"
}, },
"redhat.telemetry.enabled": false, "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
} }