I don't think this should be assigned to DejaVu, but anyway. I think this is more a matter of the configuration of your X.org, and more specifically the dpi of your screen. Either the dpi was set wrongly before, or either it's set wrongly now. But changing dpi means different font sizes.
If the size differs a lot between 10 and 11 points, then there's normally a font size of 10.5 points as an intermediate. Also, IIRC, GTK apps used a standard dpi of 96 and didn't look at the X configuration, and that has changed now. That can also play a role in why the font sizes changed. -- Font size differs a lot between size 10 and 11 https://bugs.launchpad.net/bugs/216558 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
