http://qa.mandrakesoft.com/show_bug.cgi?id=3590
[EMAIL PROTECTED] changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEEDINFO |RESOLVED
Resolution| |FIXED
------- Additional Comments From [EMAIL PROTECTED] 2003-28-08 21:04 -------
fixed for gnome-terminal 2.3.2 (maybe earlier)
--
Configure bugmail: http://qa.mandrakesoft.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.
------- Reminder: -------
assigned_to: [EMAIL PROTECTED]
status: RESOLVED
creation_date:
description:
to reproduce,
right-click on a gnome-terminal window,
choose Edit current profile,
in the General tab (selected by default), click the checkbox next to
Use the same size font as other applications
gnome-terminal vanishes.
If you restart it, you see that the font has changed and the box is now unchecked.
(I have Lucida Sans Typewriter 10 selected)
