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 93980 - Can not change font or font size.
Can not change font or font size.
Status: RESOLVED DUPLICATE of bug 81900
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: Havoc Pennington
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-09-23 13:31 UTC by Jeremy
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0


Description Jeremy 2002-09-23 13:31:40 UTC 
Description of Problem:  When I try to change 
the font, or font size of the text in the 
Gnome2 terminal, it simply does not change.


Steps to reproduce the problem:
1. Click 'Edit' -> Current Profile
2. Change font or font size
3. 

Actual Results:
Nothing happens.

Expected Results:
in terminal should change.

How often does this happen? 
Always

Additional Information:
I've tried restarting the terminal, 
restarting Gnome.  The font settings save, as 
they are still set when i re-open the 
settings window, it just has no effect on the 
terminal text.  I'm running Garnome version 
0.16.2, but this bug has been in several 
previous versions I have used as well.
Comment 1 Havoc Pennington 2002-09-23 14:36:17 UTC 

*** This bug has been marked as a duplicate of 81900 ***
Comment 2 Havoc Pennington 2002-09-23 14:37:00 UTC 
(cc'd jdub to confirm that garnome uses zvt and thus it's right to
mark this a dup of 81900)
Comment 3 Jeff Waugh 2002-09-23 14:40:57 UTC 
GARNOME does use zvt, not sure about the dupage here though, sounds
different. But hey, that's up to you. :-)