mailing-list for TeXmacs Users

[Jay Belanger <address@hidden>]

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