diff --git a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp index 6e0d0de11b..cac21853d7 100644 --- a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp +++ b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp @@ -374,6 +374,7 @@ void EditModeCoinManager::ParameterObserver::updateElementSizeParameters( int sketcherfontSize = hGrp->GetInt("EditSketcherFontSize", defaultFontSizePixels); + double dpi = Client.getApplicationLogicalDPIX(); double devicePixelRatio = Client.getDevicePixelRatio(); // simple scaling factor for hardcoded pixel values in the Sketcher @@ -385,8 +386,9 @@ void EditModeCoinManager::ParameterObserver::updateElementSizeParameters( Client.drawingParameters.coinFontSize = std::lround(sketcherfontSize * devicePixelRatio); // in pixels - Client.drawingParameters.labelFontSize = std::lround( - sketcherfontSize * devicePixelRatio * 0.75); // in points, as SoDatumLabel uses points + Client.drawingParameters.labelFontSize = + std::lround(sketcherfontSize * devicePixelRatio * 72.0f + / dpi); // in points, as SoDatumLabel uses points Client.drawingParameters.constraintIconSize = std::lround(0.8 * sketcherfontSize * devicePixelRatio);