On Tue, 2023-12-19 at 09:13 +0100, lejeczek via users wrote:
> And my question about _only_ mono fonts being available in Ghome's
> terminal (while other terminals choose any font) ?
I don't recall Gnome Terminal handling proportional fonts well at any
time. They were chooseable, but the
On 16/12/2023 21:21, George N. White III wrote:
On Sat, Dec 16, 2023 at 3:36 AM lejeczek via users
wrote:
Hi guys.
My Gnome's default terminal does only select from
_mono_ type of fonts & I remember it could choose any
font.
Alternative solutions, such a _terminator_ do
On Sat, Dec 16, 2023 at 3:36 AM lejeczek via users <
users@lists.fedoraproject.org> wrote:
> Hi guys.
>
> My Gnome's default terminal does only select from _mono_ type of fonts & I
> remember it could choose any font.
> Alternative solutions, such a _terminator_ do allow to select any font.
>
>
Hi guys.
My Gnome's default terminal does only select from _mono_
type of fonts & I remember it could choose any font.
Alternative solutions, such a _terminator_ do allow to
select any font.
In Gnome's terminal 'font scaling' also seems "broken" -
certainly on my Fedora - I select
