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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
