{ "python.defaultInterpreterPath": "C:\\Users\\david\\AppData\\Local\\Programs\\Python\\Python38-32\\python.exe", "workbench.colorTheme": "Default Light+", "workbench.colorCustomizations": { "[Default Light+]": { "activityBar.background": "#afafaf", "activityBar.foreground": "#202020", "activityBar.activeBackground": "#dadada", "activityBar.activeBorder": "#5f5f5f", "statusBar.background": "#5a7ab4", "statusBar.noFolderBackground": "#a98db9", // "extensionBadge.remoteBackground": "#ff0000", "editorGutter.background": "#eaecee" } }, "editor.fontFamily": "'DejaVu Sans Mono for Powerline', Consolas, 'Courier New', monospace", "editor.fontSize": 13, "window.zoomLevel": 0, "debug.console.fontSize": 13, "markdown.preview.fontSize": 13, "terminal.integrated.fontSize": 13, "editor.occurrencesHighlight": false, "editor.minimap.enabled": false, "workbench.settings.useSplitJSON": true, // used to be default "editor.renderIndentGuides": false, "workbench.startupEditor": "newUntitledFile", "remote.SSH.remotePlatform": { "dblume-edge.local": "linux", "dblume-edge": "linux" }, "remote.SSH.configFile": "C:\\Users\\david\\.ssh\\config", "security.workspace.trust.untrustedFiles": "open", "workbench.editorAssociations": { "*.ipynb": "jupyter-notebook" }, "python.pythonPath": "C:\\Users\\david\\AppData\\Local\\Programs\\Python\\Python38-32\\python.exe", "python.showStartPage": false, "notebook.cellToolbarLocation": { "default": "right", "jupyter-notebook": "left" }, "workbench.editor.untitled.hint": "hidden", "editor.guides.indentation": false, "workbench.editor.wrapTabs": true, "files.eol": "\n" }