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

To: debian-gtk-gnome@lists.debian.org
Subject: Re: gnome-terminal: can't change font or font size
From: "Christopher N. Deckard" <chris@globalfoo.net>
Date: Mon, 14 Oct 2002 16:48:17 -0500
Message-id: <[🔎] 20021014164817.29c86a5c.chris@globalfoo.net>
In-reply-to: <[🔎] 1034631604.18976.42.camel@wien>
References: <[🔎] 20021014154714.2fd8cf41.chris@globalfoo.net> <[🔎] 1034631604.18976.42.camel@wien>

On 14 Oct 2002 23:40:04 +0200, Andreas Leitner spoke forth:

> Having the same problem here, although I am using the gnome
> (without the 2 suffix) packages from experimental.

To clarify, I am too.  I upgraded to the packages without the 2
suffix and that's when the problem started.

-Chris

Reply to:

References:
- gnome-terminal: can't change font or font size
  - From: "Christopher N. Deckard" <chris@globalfoo.net>
- Re: gnome-terminal: can't change font or font size
  - From: Andreas Leitner <nozone@sbox.tugraz.at>

Prev by Date: Re: gnome-terminal: can't change font or font size
Next by Date: Re: gnome-terminal: can't change font or font size
Previous by thread: Re: gnome-terminal: can't change font or font size
Next by thread: Re: gnome-terminal: can't change font or font size
Index(es):
- Date
- Thread