gistfile1.txt

    "debug.allowBreakpointsEverywhere": true,
    "editor.tokenColorCustomizations": {
        "textMateRules": [
            {
                "scope": "variable.other.binding.fsharp",
                "name": "binding names",
                "settings": {
                    "fontStyle": "bold",
                    "foreground": "#DCDCAA"
                }                
            },          
            {
                "scope": "keyword.other.function-definition.fsharp",
                "name": "fun word",
                "settings": {
                    "foreground": "#b422ad"
                }
            }
        ]
    },
    "editor.fontFamily": "Fira Code",
    "editor.fontLigatures": true,
    "editor.renderWhitespace": "boundary",

    "window.zoomLevel": 2,
    "team.showWelcomeMessage": false,

    "FSharp.lineLens.enabled": "replaceCodeLens",
    "FSharp.lineLens.prefix": " ",