I agree with pablomme - this is what I was implying with my question. Nothing against increasing default font sizes, at all in fact, just curious as to the rationale.
But, in any case, I think pablomme is right, doesn't seem like a good idea to define the values in pixels - needs a measure that will scale reasonably according to the dpi. -- Change to 13.333px is a regression for me - fonts far too large https://bugs.launchpad.net/bugs/345189 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
