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
21. 21
22. 22
23. 23
24. 24
25. 25

{
    // Force VSCodium to use my default monospace font instead of 'Noto Sans Mono CJK SC' which looks awful
    // In related news at least CJK characters in VSCodium seem to work now?
    "editor.fontFamily": "Hack",
    // 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,
    // Use rust-analyzer from nixpkgs rather than the bundled rust-analyzer which throws weird errors
    "rust-analyzer.server.path": "rust-analyzer",
    // Make Rocq more like Lean
    "vsrocq.proof.mode": 1,
    // Make title bar consistent with other apps in KDE
    "window.customTitleBarVisibility": "never",
    "window.titleBarStyle": "native",
}