1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8

{
    "window.customTitleBarVisibility": "never",
    "window.titleBarStyle": "native",
    "editor.wordWrap": "on",
    "git.autofetch": true,
    "git.enableSmartCommit": true,
    "dafny.version": "custom",
    "dafny.cliPath": "/run/current-system/sw/lib/Dafny/Dafny.dll",
}