Re: gvim print font

2022-06-14 Thread Michael Hennebry
On Wed, 15 Jun 2022, Tim via users wrote: On Tue, 2022-06-14 at 13:43 -0500, Michael Hennebry wrote: That still leaves the question of whether gvim's printing font can be changed. Is it just sending raw text to LPR? Perhaps a default font needs choosing in the print manager. gvim uses at

Re: gvim print font

2022-06-14 Thread Tim via users
On Tue, 2022-06-14 at 13:43 -0500, Michael Hennebry wrote: > That still leaves the question of whether > gvim's printing font can be changed. Is it just sending raw text to LPR? Perhaps a default font needs choosing in the print manager. -- uname -rsvp Linux 3.10.0-1160.66.1.el7.x86_64 #1

Re: gvim print font

2022-06-14 Thread Michael Hennebry
On Tue, 14 Jun 2022, George N. White III wrote: On Tue, Jun 14, 2022 at 12:40 PM Michael Hennebry < BTW where is Helvetica stored? on both Fedora 35 and 36: % fc-match Helvetica:en NimbusSans-Regular.otf: "Nimbus Sans" "Regular" It seems not to be under /usr/share/fonts . find /usr

Re: gvim print font

2022-06-14 Thread George N. White III
On Tue, Jun 14, 2022 at 12:40 PM Michael Hennebry < henne...@web.cs.ndsu.nodak.edu> wrote: > On Mon, 13 Jun 2022, Michael Hennebry wrote: > > > On Mon, 13 Jun 2022, George N. White III wrote: > > > >> Use fontconfig's fc-match to check system defaults (which may > >> depend on the language) > >>

Re: gvim print font

2022-06-14 Thread Michael Hennebry
On Mon, 13 Jun 2022, Michael Hennebry wrote: On Mon, 13 Jun 2022, George N. White III wrote: Use fontconfig's fc-match to check system defaults (which may depend on the language) Fedora 35: fc-match monospace:en DejaVuSansMono.ttf: "DejaVu Sans Mono" "Regular" Looks like it might be the

Re: gvim print font

2022-06-13 Thread Michael Hennebry
On Mon, 13 Jun 2022, George N. White III wrote: Use fontconfig's fc-match to check system defaults (which may depend on the language) Fedora 35: fc-match monospace:en DejaVuSansMono.ttf: "DejaVu Sans Mono" "Regular" Looks like it might be the answer. No time to try it right now. Thanks.

Re: gvim print font

2022-06-13 Thread George N. White III
On Sun, Jun 12, 2022 at 1:02 PM Michael Hennebry < henne...@web.cs.ndsu.nodak.edu> 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

Re: gvim print font

2022-06-13 Thread stan via users
On Sun, 12 Jun 2022 11:01:59 -0500 (CDT) 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

Re: gvim print font

2022-06-12 Thread home user
On 6/10/22 6:51 AM, stan via users wrote: On Thu, 9 Jun 2022 21:16:41 -0500 (CDT) Michael Hennebry wrote: The font gvim uses when printing is annoyingly faint. The font gedit uses works for me. How do I find out what font gedit is using and tell gvim to use that font? I'm running F35. In

Re: gvim print font

2022-06-12 Thread Samuel Sieb
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

Re: gvim print font

2022-06-12 Thread Michael Hennebry
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.

Re: gvim print font

2022-06-12 Thread Michael Hennebry
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 henne...@web.cs.ndsu.nodak.edu "Sorry but your password

Re: gvim print font

2022-06-12 Thread stan via users
On Fri, 10 Jun 2022 23:26:09 -0400 Jon LaBadie wrote: > On Fri, Jun 10, 2022 at 05:51:05AM -0700, stan via users wrote: > >On Thu, 9 Jun 2022 21:16:41 -0500 (CDT) > >Michael Hennebry wrote: > > > >> The font gvim uses when printing is annoyingly faint. > >> The font gedit uses works for me. >

Re: gvim print font

2022-06-10 Thread Jon LaBadie
On Fri, Jun 10, 2022 at 05:51:05AM -0700, stan via users wrote: On Thu, 9 Jun 2022 21:16:41 -0500 (CDT) Michael Hennebry wrote: The font gvim uses when printing is annoyingly faint. The font gedit uses works for me. How do I find out what font gedit is using and tell gvim to use that font?

Re: gvim print font

2022-06-10 Thread stan via users
On Thu, 9 Jun 2022 21:16:41 -0500 (CDT) Michael Hennebry wrote: > The font gvim uses when printing is annoyingly faint. > The font gedit uses works for me. > > How do I find out what font gedit is > using and tell gvim to use that font? > > I'm running F35. > In gedit, one help page for font

gvim print font

2022-06-09 Thread Michael Hennebry
The font gvim uses when printing is annoyingly faint. The font gedit uses works for me. How do I find out what font gedit is using and tell gvim to use that font? I'm running F35. -- Michael henne...@web.cs.ndsu.nodak.edu "This dream is brought to you by Sharassin of Shan. Dreams and