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 64849 - Changed font settings
Changed font settings
Status: RESOLVED DUPLICATE of bug 17440
Product: gnome-core
Classification: Deprecated
Component: gnome-terminal
1.0.5x
Other Linux
: Normal normal
: ---
Assigned To: gnome-core Maintainers
gnome-core Maintainers
Depends on:
Blocks:
 
 
Reported: 2001-11-19 00:48 UTC by Byron Coughlin
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Byron Coughlin 2001-11-19 00:48:42 UTC
After I changed font settings terminal will not open.

Application "gnome=terminal" (process 833) has crashed due to fatal error. 
(floating point exception)

I do not know how to fix.
Comment 1 Cory Watson 2002-01-29 01:39:49 UTC

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