12 Jun
2022
12 Jun
'22
6:57 p.m.
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.