FWIW, I've reported it upstream as: http://bugzilla.gnome.org/show_bug.cgi?id=574358, But the bug was already fixed in the new version of gnome (and thus in upcoming Jaunty).
-- Impossible to type a decimal point https://bugs.launchpad.net/bugs/269303 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
