texmacs-users - changing the menu bar font

Subject: mailing-list for TeXmacs Users

List archive

changing the menu bar font

From: "Sebastian C. B. Sauer" <address@hidden>
To: address@hidden
Subject: changing the menu bar font
Date: Sun, 16 Dec 2001 23:41:20 +0100

Hi again,

Is there an easy way of changing the menu bar font? I would much prefer
having a sans-serif font for the menu.

so long,
sebastian
--
:: scb's terra_digitalis http://swoosh.enemy.org/
:: fingerprint B8A5 31FE 0159 BF8A 1F17 8B81 848F F350 D1CB 5706

changing the menu bar font, Sebastian C. B. Sauer, 12/16/2001
- Re: changing the menu bar font, David Allouche, 12/17/2001
  - Re: changing the menu bar font, Sebastian C. B. Sauer, 12/17/2001
    - Re: changing the menu bar font, Joris van der Hoeven, 12/19/2001

List archive

changing the menu bar font