{ "editor.rulers": [ 80 ], "telemetry.enableCrashReporter": false, "telemetry.enableTelemetry": false, "workbench.enableExperiments": false, "workbench.settings.enableNaturalLanguageSearch": false, "npm.fetchOnlinePackageInfo": false, "extensions.autoUpdate": false, "python.jediEnabled": false, "window.zoomLevel": 0, "workbench.colorTheme": "Dracula", "update.mode": "manual", "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, }