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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
