texmacs-users - Re: [TeXmacs] Menu fonts

Subscribers: 411
Owners

Grégoire Lecerf

Joris van der Hoeven

Contact owners

Post

RSS
Shared documents

mailing-list for TeXmacs Users

Text archives Help

Re: [TeXmacs] Menu fonts

From: Jay Belanger <address@hidden>
To: address@hidden
Cc: address@hidden
Subject: Re: [TeXmacs] Menu fonts
Date: Thu, 05 Nov 2015 11:02:55 -0600

> 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!

[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.