- 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
Archive powered by MHonArc 2.6.19.