vscode-settings.json

{
    "workbench.activityBar.visible": false,
    "editor.wordWrap": "on",
    "workbench.iconTheme": "vs-seti",
    "window.menuBarVisibility": "default",
    "window.zoomLevel": 0,
    "workbench.startupEditor": "newUntitledFile",
    "explorer.confirmDragAndDrop": false,
    "explorer.confirmDelete": false,
    "workbench.colorCustomizations": {
        // Base16 ocean dark
        // "statusBar.background": "#2b303bff",
        // "panel.background": "#2b303bff",
        // "sideBar.background": "#2b303bff",

        // "titleBar.activeBackground": "#292b2e",
        // "statusBar.background": "#292b2e",
        "statusBar.border": "#48494b",
		// "statusBar.debuggingBackground": "#5d4d7a",
		// "tab.activeBackground": "#292b2e",
		// "tab.activeForeground": "#cbc1d5",
		// "tab.border": "#292b2e",
		// "tab.inactiveBackground": "#212026",
        // "tab.inactiveForeground": "#a094a2",
        // "contrastBorder": "#292b2e",
    },
    "workbench.sideBar.location": "right",
    "window.titleBarStyle": "custom",
    "editor.fontFamily": "Hasklig",
    // "terminal.integrated.fontWeightBold": "normal",
    // "terminal.integrated.fontWeight": "bold",
    "editor.fontLigatures": false,
    "editor.fontSize": 17,
    "prettifySymbolsMode.adjustCursorMovement": false,
    "prettifySymbolsMode.substitutions": [   
        {
            "language": "racket",
            "substitutions": [
                { "ugly": "lambda", "pretty": "λ", }
            ]
        }
    ],
    "breadcrumbs.enabled": false,
    "editor.renderControlCharacters": false,
    "C_Cpp.default.cStandard": "c99",
    "C_Cpp.default.intelliSenseMode": "clang-x64",
    "C_Cpp.enhancedColorization": "Disabled",
    "editor.renderIndentGuides": false,
    "terminal.integrated.inheritEnv": false,
    "editor.minimap.enabled": false,
    "FSharp.lineLens.prefix": " ",
    "workbench.colorTheme": "Nord Wave",
    "extensions.ignoreRecommendations": false,
    "python.pythonPath": "/usr/bin/python3",
    "jupyter.askForKernelRestart": false,
    "python.showStartPage": false,
    "workbench.editorAssociations": [
        {
            "viewType": "jupyter.notebook.ipynb",
            "filenamePattern": "*.ipynb"
        }
    ],
    // "debug.console.closeOnEnd": true,
    // "debug.openDebug": "neverOpen",
    // "debug.javascript.usePreview": false
}