Re: Font problem in the menu

[Mario Vukelic]

On Tue, 2002-10-29 at 16:40, Xavier Bestel wrote:

> Choose another font ?
> (Hint: download Microsoft truetype fonts)

Not atm. See bug #159951. May even be the reason for the original
problem.