~raboof/dotfiles

ref: 150b35e3e886f46dcc95b352f3fca85f4b19bd2a dotfiles/.config/VSCodium/User/settings.json -rw-r--r-- 407 bytes
150b35e3 — Arnout Engelen Add vscodium settings.json 5 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
{
    "editor.fontSize": 32,
    "editor.fontFamily": "'Source Sans Pro', 'DeJa Vu Sans', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
    "metals.javaHome": "/nix/store/w23zmqninp6kv523ds06jw5a8prj8035-adoptopenjdk-hotspot-bin-11.0.7",
    "files.watcherExclude": {
        "**/.bloop": true,
        "**/.metals": true,
        "**/.ammonite": true
    },
    "window.zoomLevel": 4
}