[4919] in testers
Re: gnome-terminal crash in font browsing
daemon@ATHENA.MIT.EDU (Robert A Basch)
Thu Jun 28 12:31:23 2001
Message-Id: <200106281631.MAA08193@anhedonia.mit.edu>
To: Robert A Basch <rbasch@MIT.EDU>
cc: testers@MIT.EDU
In-Reply-To: Your message of "Wed, 27 Jun 2001 16:14:45 EDT."
<200106272014.QAA26182@anhedonia.mit.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Thu, 28 Jun 2001 12:31:18 -0400
From: Robert A Basch <rbasch@MIT.EDU>
I investigated further, and found two problems in the gtk font selection
code -- it does not handle non-integer sizes, and inconsistently enforces
a minimum size of 2. ("courier (elot)" has a size of 1.6 (likely an error),
so is subject to both problems). The latest rev of gtk has a fix for the
first problem, and I believe I can supplement that with a workaround for
the second problem.
Bob
