~raboof/dotfiles

ref: 87fea4b66c817f591b2340498ab6015593dd17b5 dotfiles/.config/VSCodium/User/settings.json -rw-r--r-- 407 bytes
87fea4b6 — Arnout Engelen vscodium: now that zoomlevel is set, font size can reduce again 5 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
{
    "editor.fontSize": 18,
    "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
}