the bug should be sent to bugzilla.gnome.org with somebody who has interested in a such change, I'm not sure to understand why that should be an option and not "just work" there
-- Add "Mirror with max resolution checkbox+functionality" to gnome-display-properties https://bugs.launchpad.net/bugs/351427 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs