1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20

{
    // https://lean-lang.org/documentation/semantic-tokens/
    // "The colors in this example are not meant to be nice"
    "editor.semanticTokenColorCustomizations": {
        "rules": {"function": "#ff0000", "property": "#00ff00", "variable": "#ff77ff"}
    },
    "editor.wordWrap": "on",
    // This is what everyone else does
    "files.insertFinalNewline": true,
    // Stop VSCodium from complaining about these
    "git.autofetch": true,
    "git.enableSmartCommit": true,
    // Manual line wrap is gross
    "html.format.wrapLineLength": 0,
    // Make title bar consistent with other apps in KDE
    "window.customTitleBarVisibility": "never",
    "window.titleBarStyle": "native",
    // Make Rocq more like Lean
    "vsrocq.proof.mode": 1,
}