---- On Thu, 09 Jan 2020 03:47:41 -0500 Christopher Baines <m...@cbaines.net> wrote ---- > > sirgazil <sirga...@zoho.com> 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). >
That works too, yes. In my case, that option was set to "None 10" (so, no font, and size 10).
