Hello! sirgazil <sirga...@zoho.com> skribis:
> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the > font is too big and the spacing between characters seems odd: > > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png > > Maybe there is a bug with the defaults (at least with the spacing)? This problem still shows up in ‘guix system vm’, so it’s not related to state. Any idea how to fix it? Ludo’.
