Chronological Thread 

< Chronological >      < Thread >

---

On Mon, 17 Dec 2001, David Allouche wrote:

> On Sunday 16 December 2001 23:41, Sebastian C. B. Sauer wrote:
> > Is there an easy way of changing the menu bar font? I would much prefer
> > having a sans-serif font for the menu.

> So you will have to change this font. A quick look in TeXmacs
> initialization
> files has not revealed any command used to set the default font, so I
> assume
I had a deeper look into the scheme scripts & like you I found nothing
appropriate.

> you have to change the font defined in the source.
>
> The default font is defined in src/Window/X/x_font.gen.cc in the
> x_display_rep::default_font method (line 199).
>
> Here you will find the following statement:
> return tex_ec_font (this, "ecrm", 11, 300);
>
> Just change "ecrm" to "ecss" to have TeXmacs use a sans-serif font. Of
> course

> I consider this to be easy, but I understand some people are not
> confortable with tweaking source and recompiling software.

I am. Thanks for your source investigations and digging that up for me. that
makes the rest pretty
straight forward.
However I was hoping (and still hope) that were would be a _cleaner_
solution. e.g. by scheme scripting


> > so long,
>
> And thanks for all the fish.
yeah, good old d. adams may rest in peace... ...but this spirit is still with
us.

cheers,
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

---

Archive powered by MHonArc 2.6.19.