[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GNOME Terminal: Horrible font after guix system reconfigure
From: |
sirgazil |
Subject: |
Re: GNOME Terminal: Horrible font after guix system reconfigure |
Date: |
Thu, 09 Jan 2020 09:23:07 -0500 |
User-agent: |
Zoho Mail |
---- On Thu, 09 Jan 2020 03:47:41 -0500 Christopher Baines <address@hidden>
wrote ----
>
> sirgazil <address@hidden> 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).