how does that fix this bug? the bug reporter says: default font size of 10 is too _large_ and changing it to 13.333 just makes the problem bigger...
the default of 10 was usable for me, but 13 is just to big (indeed, see bug #345189) -- Default font size too large if using native DPI https://bugs.launchpad.net/bugs/310353 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
