Re: Help Browser

From: Pablo Saratxaga <pablo mandrakesoft com>
To: gnome-list gnome org
Subject: Re: Help Browser
Date: Mon, 22 Nov 1999 15:08:03 +0100

Kaixo!

On Mon, Nov 22, 1999 at 11:33:08AM +0200, Bjorn Andersson wrote:

> On Mon, Nov 22 1999, at 10:21:44 +0100, O.Bedford@uni-koeln.de wrote:
> > 1. Where can I change the default font? I would like to increase the
> > font-size.
> 
> I believe it uses the default font from your gtk theme. I don't
> think you can change it for the browser only.

And that is an error; it should use the font for the html documment
according to the charset=... meta tag information.

-- 
Ki ça vos våye bén,
Pablo Saratxaga

http://www.ping.be/~pin19314/		PGP Key available, key ID: 0x8F0E4975

Follow-Ups:
- Re: Help Browser
  - From: Keith Wright

References:
- Help Browser
  - From: O . Bedford
- Re: Help Browser
  - From: Bjorn Andersson

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]