I think Jordi's patch is the only one that makes sense. Hard-coding *any* font family/size would only move the problem somewhere else (I can already picture people using low-resolution netbooks complaining about the font being too big).
-- Fonts are very small https://bugs.launchpad.net/bugs/531835 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
