From 46d626f36882440e01f3f090d4f89a4462a4efd1 Mon Sep 17 00:00:00 2001 From: Matthias Danner Date: Sun, 1 Jun 2025 11:59:31 +0200 Subject: [PATCH] fix use of viewScalingFactor --- src/Mod/Sketcher/Gui/EditModeCoinManager.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp index e4bde67259..e367493a1d 100644 --- a/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp +++ b/src/Mod/Sketcher/Gui/EditModeCoinManager.cpp @@ -369,7 +369,7 @@ void EditModeCoinManager::ParameterObserver::updateElementSizeParameters( App::GetApplication().GetParameterGroupByPath("User parameter:BaseApp/Preferences/View"); double viewScalingFactor = hGrp->GetFloat("ViewScalingFactor", 1.0); - viewScalingFactor = Base::clamp(viewScalingFactor, 0.5, 5.0); + viewScalingFactor = std::clamp(viewScalingFactor, 0.5, 5.0); int markerSize = hGrp->GetInt("MarkerSize", 7); @@ -382,7 +382,7 @@ void EditModeCoinManager::ParameterObserver::updateElementSizeParameters( double devicePixelRatio = Client.getDevicePixelRatio(); // simple scaling factor for hardcoded pixel values in the Sketcher - Client.drawingParameters.pixelScalingFactor = devicePixelRatio; + Client.drawingParameters.pixelScalingFactor = devicePixelRatio * viewScalingFactor; // About sizes: // SoDatumLabel takes the size in points, not in pixels. This is because it uses QFont