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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
