Updated vscode settings

4 years ago · d17c1724a0
parent 96b052dffa
commit d17c1724a0
1 changed files with 1 additions and 3 deletions
--- a/vscode/.config/Code/User/settings.json
+++ b/vscode/.config/Code/User/settings.json
@ -15,12 +15,10 @@
    "extensions.ignoreRecommendations": true,
    "extensions.autoCheckUpdates": false,
    "python.autoUpdateLanguageServer": false,
-    "python.dataScience.allowLiveShare": false,
    "python.languageServer": "Microsoft",
-    "extensions.showRecommendationsOnlyOnDemand": true,
    "update.showReleaseNotes": false,
    "git.autofetch": false,
    "terminal.integrated.fontFamily": "'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback','PowerlineSymbols'",
    "terminal.integrated.fontSize": 12,
-    "latex-workshop.view.pdf.viewer": "tab",
+    "latex-workshop.view.pdf.viewer": "tab"
 }