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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue