12 Jun
2022
12 Jun
'22
11:01 a.m.
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 hennebry@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