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.
--
Michael henne...@web.cs.ndsu.nodak.edu
"Sorry but your password must contain an uppercase letter, a number,
a haiku, a gang sign, a heiroglyph, and the blood of a virgin."
-- someeecards
_______________________________________________
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 on the list, report it:
https://pagure.io/fedora-infrastructure
