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 90840 - Can't change font
Can't change font
Status: RESOLVED FIXED
Product: libzvt
Classification: Deprecated
Component: internationalization
2.0.x
Other Linux
: Normal normal
: ---
Assigned To: jacob berkman
Unknown User
Depends on:
Blocks: 78007
 
 
Reported: 2002-08-15 14:47 UTC by Nail Abdrahmanov
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0


Description Nail Abdrahmanov 2002-08-15 14:47:52 UTC 
I'am change source code for proper viewing russian chars in terminal windowd.
I modify return parameter in src/terminal-zvt.c in function use_pango_fonts
from false to true.
Compile.
Go to the menu profiles/default/change font. 
I change font but nothing action.
Comment 1 Havoc Pennington 2002-09-22 19:47:58 UTC 
You might try building gnome-terminal --with-widget=vte or using the
zvt-i18n-branch version of zvt.
Comment 2 Hidetoshi Tajima 2002-10-11 05:44:20 UTC 
Yes, chaging fonts works with libzvt-i18n branch with a
few lines of code change in terminal-widget-zvt.c.

I'd like to merge libzvt-i18n to the HEAD and put
that change to gnome-terminal's HEAD, even if I know
libzvt may be dropped very soon.

Jacob, Luise, any concern?