Sketcher: Revert DPI adjustment error #22941 (#23237)

* Revert #22941

* [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
This commit is contained in:
PaddleStroke
2025-08-20 15:25:32 +02:00
committed by GitHub
parent f176172faa
commit fc463ee5d7

View File

@@ -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);