There is a pixel size difference between point sizes "9" and (say) "9.4" on high resolution displays. The new QML based explorer seems to not use the user-specified font, but constructs a new one by cloning it, but without taking into account the correct pointSizeF() value.
* where is the font you are referring to specified?
* can you provide steps to reproduce?
The new Widget Exporer did not take Plasma font sizes into account at all until a patch by me a few hours ago.
This is probably what you were seeing. Please reopen if you still encounter thiss.
David, can you point me to the commit(s)? I see the same issue with today's master.
Reopening based on last comment. Please make sure to use the commit hooks for fixes :)
Git commit 6447060559e045a861c23ae27bbcd1af74bd59f9 by Marco Martin.
Committed on 25/06/2012 at 11:17.
Pushed by mart into branch 'master'.
M +1 -1 plasma/declarativeimports/core/theme.cpp