On 6/12/22 09:01, Michael Hennebry wrote:
On Sun, 12 Jun 2022, Michael Hennebry wrote:
Thanks folks.
Now I know how to change gvim's font.
I can find gedit's screen font,
but not its printing font.
From gedit's printing dialogue,
Monospace 9 seems to be what I want.
Do not know where to find it.
find /usr -name '*onospace*'
didn't.
That probably means to use the system default monospace font at 9 points.
_______________________________________________
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 on the list, report it: https://pagure.io/fedora-infrastructure
