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)
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)