-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Jay Belanger <address@hidden>- To: address@hidden
- Cc: address@hidden
- Subject: Re: [TeXmacs] Menu fonts
- Date: Wed, 04 Nov 2015 23:07:26 -0600
Hi!
> The problem does not seem to be with texmacs.
It seems to be here. TeXmacs is the only program with this problem; even
other
QT programs have nice sized menus.
> If you are using Linux with Gnome environment - Use the Gnome-tweak
> tool to increase the size of interface fonts. By default they are set
> to 9 and you may scale them up.
That will change the menus for all programs, gtk and qt alike, except
for TeXmacs. (Both the precompiled version and the version I compiled
here.)
Thanks for the suggestion, though.
Jay
- [TeXmacs] Menu fonts, jay.p.belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Arun K Eswara, 11/05/2015
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Message not available
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Message not available
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Arun K Eswara, 11/05/2015
Archive powered by MHonArc 2.6.19.
