VS Code User Settings

Extensions.md

• Code Outline by Patryk Zawadzki
• Dark++ Theme by DryWolf
• Docker by Microsoft
• DrRacket Syntax by Dmytro Bogatov
• Easy icon theme by James Maguire
• Elm by Elm
• elm-format bt abadi199 (no more?)
• Haskell Syntax Highlighting by Justus Adam
• Haskell Language Server by Alan Zimmerman
• Haskell GHCi Debug Adapter by phoityne
• jsx by TwentyChung (no more?)
• Nomo Dark Icon Theme by be5invis
• npm by egamma
• npm Intellisense by Christian Kohler
• Org Mode by Too Tone
• PureScript IDE by Nicholas Wolverson
• PureScript Language by Nicholas Wolverson
• Python by Microsoft
• Run elm tests by Frank Wagner
• Rust Code by saviorisdead
• Sass by Robin Bentley
• Studio Icons by Jordan Lowe
• Version Lens by pflannery
• vsc-rustfmt by Connorcpu

vscode.user-settings.js

// Place your settings in this file to overwrite the default settings
{

    // Controls if folders should open in a new window or replace the last active window.
    // - default: folders will open in a new window unless a folder is picked from within the application (e.g. via the File menu)
    // - on: folders will open in a new window
    // - off: folders will replace the last active window
    // Note that there can still be cases where this setting is ignored (e.g. when using the -new-window or -reuse-window command line option).
    "window.openFoldersInNewWindow": "on",

    // Controls how folders are being reopened after a restart. Select 'none' to never reopen a folder, 'one' to reopen the last folder you worked on or 'all' to reopen all folders of your last session.
    "window.restoreWindows": "all",

    // Controls the window title based on the active editor. Variables are substituted based on the context:
    // ${activeEditorShort}: e.g. myFile.txt
    // ${activeEditorMedium}: e.g. myFolder/myFile.txt
    // ${activeEditorLong}: e.g. /Users/Development/myProject/myFolder/myFile.txt
    // ${rootName}: e.g. myProject
    // ${rootPath}: e.g. /Users/Development/myProject
    // ${appName}: e.g. VS Code
    // ${dirty}: a dirty indicator if the active editor is dirty
    // ${separator}: a conditional separator (" - ") that only shows when surrounded by variables with values
    "window.title": "${dirty}${rootName}${separator}${activeEditorShort}",

    // Adjust the zoom level of the window. The original size is 0 and each increment above (e.g. 1) or below (e.g. -1) represents zooming 20% larger or smaller. You can also enter decimals to adjust the zoom level with a finer granularity.
    "window.zoomLevel": 0,

    // Configure file associations to languages (e.g. "*.extension": "html"). These have precedence over the default associations of the languages installed.
    "files.associations": {
        "*.sass": "sass",
        "*.monk": "jade"
    },

    // Controls the visibility of the activity bar in the workbench.
    "workbench.activityBar.visible": true,

    // Controls font aliasing method in the workbench.
    // - default: Sub-pixel font smoothing. On most non-retina displays this will give the sharpest text
    // - antialiased: Smooth the font on the level of the pixel, as opposed to the subpixel. Can make the font appear lighter overall
    // - none: Disables font smoothing. Text will show with jagged sharp edges
    "workbench.fontAliasing": "antialiased",

    // Controls the font family.
    "editor.fontFamily": "Fira Code",

    // Enables font ligatures
    "editor.fontLigatures": true,

    // Controls the font size in pixels.
    "editor.fontSize": 10,

    // Controls how lines should wrap. Can be:
    //  - 'off' (disable wrapping),
    //  - 'on' (viewport wrapping),
    //  - 'wordWrapColumn' (wrap at `editor.wordWrapColumn`) or
    //  - 'bounded' (wrap at minimum of viewport and `editor.wordWrapColumn`).
    "editor.wordWrap": "wordWrapColumn",

    // Controls after how many characters the editor will wrap to the next line. Setting this to 0 turns on viewport width wrapping (word wrapping). Setting this to -1 forces the editor to never wrap.
    "editor.wordWrapColumn": 100, // -1, 80,

    // Controls how the editor should render whitespace characters, posibilties are 'none', 'boundary', and 'all'. The 'boundary' option does not render single spaces between words.
    "editor.renderWhitespace": "all",


    // When enabled, insert a final new line at the end of the file when saving it.
    "files.insertFinalNewline": true,

    // When enabled, will trim trailing whitespace when saving a file.
    "files.trimTrailingWhitespace": true,

    // Specifies the icon theme used in the workbench or 'null' to not show any file icons.
    "workbench.iconTheme": "vs-nomo-dark",

    "elm.makeCommand": "/usr/local/bin/elm-make",
    "extensions.ignoreRecommendations": false,

    // Controls whether Git should check for unsaved files before committing.
    "git.promptToSaveFilesBeforeCommit": true,
    "explorer.confirmDragAndDrop": false,
}