mailing-list for TeXmacs Users

[Jay Belanger <address@hidden>]

> The problem does not seem to be with texmacs. 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.

Oddly, I had to turn off the GTK+ style for the QT apps; not it works
fine.  I don't know why TeXmacs was looking different than the other
apps, but it looks fine now.

Again, thanks for the help!