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 71340 - i can't change the font in gnome-terminal
i can't change the font in gnome-terminal
Status: RESOLVED DUPLICATE of bug 71439
Product: gnome-terminal
Classification: Core
Component: general
1.9.x
Other other
: Normal normal
: ---
Assigned To: Havoc Pennington
Havoc Pennington
Depends on:
Blocks:
 
 
Reported: 2002-02-13 03:34 UTC by jacob berkman
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0


Description jacob berkman 2002-02-13 03:34:19 UTC 
if i type in a font name in the profterm dialog it does not change the font.

there is also no gconf key for it.
Comment 1 Mark McLoughlin 2002-02-13 19:04:11 UTC 
Moving to gnome-terminal ...
Comment 2 Havoc Pennington 2002-02-14 03:38:22 UTC 

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