Philip, thank you for your work on that. Why do you use "100.0" for the page increment?
-- Number of workspaces number-field arrow buttons dont work. https://launchpad.net/bugs/83334 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
