From d17c1724a03606dc4f7064a1de0fdcb421c98c41 Mon Sep 17 00:00:00 2001 From: meliurwen Date: Sat, 15 May 2021 15:11:10 +0200 Subject: [PATCH] Updated vscode settings --- vscode/.config/Code/User/settings.json | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/vscode/.config/Code/User/settings.json b/vscode/.config/Code/User/settings.json index 75e97d9..913fd74 100644 --- 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" }