First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] Menu fonts


Chronological Thread 
  • From: Arun K Eswara <address@hidden>
  • To: address@hidden
  • Cc: address@hidden
  • Subject: Re: [TeXmacs] Menu fonts
  • Date: Thu, 5 Nov 2015 09:23:29 +0530
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


Archive powered by MHonArc 2.6.19.

Top of page