Don't round the larger or smaller font sizes unnecessarily

Use SetFractionalPointSize() instead of SetPointSize() to avoid losing the fractional part of the font size, if any.
2018-09-15 12:43:17 +02:00
parent 85b8798558
commit 03f29d4b67
2 changed files with 2 additions and 2 deletions
--- a/src/propgrid/editors.cpp
+++ b/src/propgrid/editors.cpp
@@ -2056,7 +2056,7 @@ wxWindow* wxPropertyGrid::GenerateEditorButton( const wxPoint& pos, const wxSize

  #ifdef __WXGTK__
    wxFont font = GetFont();
-    font.SetPointSize(font.GetPointSize()-2);
+    font.SetFractionalPointSize(font.GetFractionalPointSize()-2);
    but->SetFont(font);
  #else
    but->SetFont(GetFont());