sirgazil writes: > Hi, > > 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)? As another approach, I changed the Monospace Text option, within the Fonts category of the Tweaks app (in the gnome-tweaks package).