12 Jun
2022
12 Jun
'22
10:46 a.m.
Thanks folks. Now I know how to change gvim's font.
I can find gedit's screen font, but not its printing font.
I'm not wedded to copying gedit's printing font. lp's font is also good. I'm not sure how to find that either.
--
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