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
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
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
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)
> >>
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
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.
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
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
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
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
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.
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
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.
>
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?
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
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
16 matches
Mail list logo