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 rendition is madly spaced apart into a fixed-width grid. Proportional fonts were always going to make a mess in a terminal screen, anyway. There's so many things that need a tabular display to be sanely legible, but the textual output is blankspace tabulated, and that will be inconsistent. -- NB: All unexpected mail to my mailbox is automatically deleted. I will only get to see the messages that are posted to the list. The following system info data is generated fresh for each post: uname -rsvp Linux 6.2.15-100.fc36.x86_64 #1 SMP PREEMPT_DYNAMIC Thu May 11 16:51:53 UTC 2023 x86_64 -- _______________________________________________ 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
