-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
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
- Re: changing the menu bar font, Sebastian C. B. Sauer, 12/17/2001
- Re: changing the menu bar font, David Allouche, 12/17/2001
Archive powered by MHonArc 2.6.19.
