gnome-terminal crashed [FONTS]
Submitted by dam..@...ac.il
Description
Package: general Version: Severity:
Synopsis: gnome-terminal crashed Class: sw-bug System:
Description: gnome-terminal caused a floating point exception
How-To-Repeat: Tried to change font
------- Bug moved to this database by debbugs-export@bugzilla.gnome.org 2001-01-27 15:16 ------- This bug was previously known as bug 5139 at http://bugs.gnome.org/ http://bugs.gnome.org/show_bug.cgi?id=5139 Originally filed under the gnome-core product and gnome-terminal component.
The original reporter (damita@green.fiz.huji.ac.il) of this bug does not have an account here. Reassigning to the exporter, debbugs-export@bugzilla.gnome.org. Reassigning to the default owner of the component, gnome-core-maint@bugzilla.gnome.org.
Resolution: RESOLVED DUPLICATE