Use fractional point size when scaling fonts in wxTipDialog

Don't unnecessarily round the result to int any longer.
2018-09-15 12:42:48 +02:00
parent ac8b2e10a9
commit 85b8798558
1 changed files with 1 additions and 1 deletions
--- a/src/generic/tipdlg.cpp
+++ b/src/generic/tipdlg.cpp
@@ -213,7 +213,7 @@ wxTipDialog::wxTipDialog(wxWindow *parent,
    if (!isPda)
    {
        wxFont font = text->GetFont();
-        font.SetPointSize(int(1.6 * font.GetPointSize()));
+        font.SetFractionalPointSize(1.6 * font.GetFractionalPointSize());
        font.SetWeight(wxFONTWEIGHT_BOLD);
        text->SetFont(font);
    }