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 94134 - 'Changing font and font style' option does not work
'Changing font and font style' option does not work
Status: RESOLVED DUPLICATE of bug 81900
Product: gnome-terminal
Classification: Core
Component: general
2.0.x
Other Solaris
: Normal normal
: ---
Assigned To: Havoc Pennington
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-09-25 05:09 UTC by anju.premachandran
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0


Description anju.premachandran 2002-09-25 05:09:45 UTC 
Tested in both linux and solaris.
Solaris - Sun beta 2 build 9 (Sept 17th CVS Snapshot )
Linux - Sept 16th snapshot

When the font size or font style of gnome-terminal is changed , it has no 
effect on the characters on the screen.
Comment 1 Havoc Pennington 2002-09-25 13:42:06 UTC 

*** This bug has been marked as a duplicate of 81900 ***