diff --git a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp index a200191bef..6e0d0de11b 100644 --- a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp +++ b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp @@ -374,7 +374,6 @@ 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,10 +384,9 @@ void EditModeCoinManager::ParameterObserver::updateElementSizeParameters( // internally. Coin, at least our coin at this time, takes pixels, not points. Client.drawingParameters.coinFontSize = - std::lround(sketcherfontSize * devicePixelRatio); // this is in pixels - Client.drawingParameters.labelFontSize = - std::lround(sketcherfontSize * devicePixelRatio * 72.0f - / dpi); // this is in points, as SoDatumLabel uses points + std::lround(sketcherfontSize * devicePixelRatio); // in pixels + Client.drawingParameters.labelFontSize = std::lround( + sketcherfontSize * devicePixelRatio * 0.75); // in points, as SoDatumLabel uses points Client.drawingParameters.constraintIconSize = std::lround(0.8 * sketcherfontSize * devicePixelRatio);