Subject: mailing-list for TeXmacs Users
List archive
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
- Message not available
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Jay Belanger, 11/05/2015
- Re: [TeXmacs] Menu fonts, Arun K Eswara, 11/05/2015
Archive powered by MHonArc 2.6.19.