Bugfix: Text Tool doesn't update font size
If the default application font size set by the platform plugin is based on "setPixelSize", then when we set that font to QTexCharFormat, it automatically takes the property QTextCharFormat::FontPixelSize, which conflicts with QTextCharFormat::FontPointSize, therefore resulting in a bug.
The bug seems to be reproducible on Android (or if we explicitly set the default font to have PixelSize property), I could've ifdef'ed the code, but seemed unnecessary?