~raboof/dotfiles

87fea4b66c817f591b2340498ab6015593dd17b5 — Arnout Engelen 5 months ago 150b35e main
vscodium: now that zoomlevel is set, font size can reduce again
1 files changed, 1 insertions(+), 1 deletions(-)

M .config/VSCodium/User/settings.json
M .config/VSCodium/User/settings.json => .config/VSCodium/User/settings.json +1 -1
@@ 1,5 1,5 @@
{
    "editor.fontSize": 32,
    "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": {