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 420961 - Only set the terminal font to monospace families
Only set the terminal font to monospace families
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
: 471493 (view as bug list)
Depends on: 54651
Blocks:
 
 
Reported: 2007-03-21 11:41 UTC by Chris Wilson
Modified: 2011-11-25 20:50 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Chris Wilson 2007-03-21 11:41:08 UTC 
This needs some work on the gtk_font_selector to only show monospace fonts (bug 54651), but applying some heuristics in terminal-profile.c::set_font() to either prevent a change to a proportional width font or to simply issue a warning seems a sensible backup.
Comment 1 Christian Persch 2008-05-29 21:10:08 UTC 
*** Bug 471493 has been marked as a duplicate of this bug. ***
Comment 2 Christian Persch 2011-11-25 20:50:15 UTC 
This is fixed already on 3.2.x.