Hi, "Branko Collin" <collin@xxxxxxxxx> writes: > Any chance, BTW, of fixing that weird floating point GTK bug anytime > soon? (<http://bugzilla.gnome.org/show_bug.cgi?id=115293>) It's a > real stopper for me. According to Bugzilla it has already been fixed about a month ago. Sven
