(In reply to Dr. Werner Fink from comment #14) > For all reporters: > > Does this bug happen in an XTerm ... no gnome-, no xfce4-, no konsole, > no other then XTerm terminal? I saw it in GNOME terminal (bug 1055642).