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 "Liberation Mono" and I start size at 6 and keep increasing by small fraction and the font does not seem changing until suddenly, at some given size it "jumps" the size & ... shape too.
I do not suppose it's my environment - I've been upgrading my Fedora since... forever, as opposed to "clean" install - and I think it's rather "broken" terminal, but..
I wanted to consult other Fedorians to be sure. many thanks, L.
-- _______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
