texmacs-users - [TeXmacs] Some fonts are tiny

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] Some fonts are tiny

From: Boris Kheyfets <address@hidden>
To: address@hidden
Subject: [TeXmacs] Some fonts are tiny
Date: Sat, 16 Jun 2012 18:26:25 +0400

I have TeXmacs deb package installed on Kubuntu 12.04, but some fonts
are tiny. For example when I quit TeXmacs it asks me if I want to save
the doc in the tiny font. While menu fonts are alright. Could be set
somewhere?

With great respect,
Boris.

[TeXmacs] Some fonts are tiny, Boris Kheyfets, 06/16/2012
- Message not available
  - Message not available
    - Re: [TeXmacs] Some fonts are tiny, Sam Liddicott, 06/17/2012
      - Re: [TeXmacs] Some fonts are tiny, Boris Kheyfets, 06/17/2012
        
        Re: [TeXmacs] Some fonts are tiny, Gubinelli Massimiliano, 06/17/2012

List archive

[TeXmacs] Some fonts are tiny