the bug should be sent to bugzilla.gnome.org by somebody considering the behaviour as buggy and wanting to argue with them about what it should be doing
-- If DPI in X != DPI in Gnome, document dimensions are not true at 100% zoom https://bugs.launchpad.net/bugs/311614 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