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

Re: gnome-terminal: can't change font or font size



On Tue, Oct 15, 2002 at 01:20:04AM +0200, Andreas Leitner scribbled:
> On Tue, 2002-10-15 at 00:06, Christopher N. Deckard wrote:
> > On Tue, 15 Oct 2002 00:00:54 +0200, Christian Marillat spoke forth:
> > 
> > > "Christopher N. Deckard" <chris@globalfoo.net> writes:
> > > 
> > > > Last night I realized that I wasn't using the Gnome2 packages
> > > > without the 2 appended at the end, so I upgraded my experimental
> > > > packages to get current.  I also enabled anti-aliased fonts per
> > > > the discussion about that by adding GDK_USE_XFT=1 to
> > > > /etc/environment. Now I get a large fixed-width as the font for
> > > > gnome-terminal.  When I select other fonts from the drop down
> > > > provided in the config for gnome-terminal, the text in all
> > > > terminal windows flickers, but the font doesn't change.
> > > 
> > > Install the latest gnome-terminal 2.0.1-3
> > 
> > Awesome.  Thank you thank you.
> 
> Works here too! And it looks like for the first time I can select fonts
> that are non-proportional, have all characters needed to paint 'mc' and
> have more than just one size (;
Although it seems that it doesn't let one select the bitmapped fonts :> -
terminus is no longer in the font list and FreeMono looks ugly without
anti-aliasing :(

marek

Attachment: pgpMS1OW66rMF.pgp
Description: PGP signature


Reply to: