texmacs-users - [TeXmacs] Menu fonts

Subscribers: 411
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Subscribe
Unsubscribe
Info
Admin
Archive

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

[TeXmacs] Menu fonts

From: <address@hidden>
To: address@hidden
Subject: [TeXmacs] Menu fonts
Date: Thu, 05 Nov 2015 03:48:20 +0100

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

[TeXmacs] Menu fonts, jay.p.belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Arun K Eswara, 11/05/2015
  - Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
    - Message not available
      - Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
  - Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015

Archive powered by MHonArc 2.6.19.