After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 71750 - Resize when the font preference is set
Resize when the font preference is set
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
1.9.x
Other Linux
: Normal normal
: 2.0.0
Assigned To: Havoc Pennington
Havoc Pennington
Depends on:
Blocks:
 
 
Reported: 2002-02-17 06:33 UTC by Havoc Pennington
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Havoc Pennington 2002-02-17 06:33:04 UTC 
When the font changes, we need to resize in pixels in order to maintain the
same size in characters. GTK makes this a bit challenging.
Comment 1 Havoc Pennington 2002-05-01 21:25:52 UTC 
Done