mailing-list for TeXmacs Users

[Arun K Eswara <address@hidden>]

Dear Jay,

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.

Wishes,

Arun Eswara

On Thu, Nov 5, 2015 at 8:18 AM, <address@hidden> wrote:

I have just installed the latest version of TeXmacs, and it is great.
However, when I start it, the menu fonts are small and hard to read.  I assume
there is a way
to change them; can anyone give me a pointer?

Thanks,
Jay