From f84c2e7a8a5a96aae40db0b85e797ac4a674d002 Mon Sep 17 00:00:00 2001 From: Mario Zimmermann Date: Fri, 27 Jun 2025 20:05:23 +0200 Subject: [PATCH] fix screen dpi setting has no effect --- src/gui/gtk.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/gui/gtk.c b/src/gui/gtk.c index a620dcb42332..d62411e9d6ef 100644 --- a/src/gui/gtk.c +++ b/src/gui/gtk.c @@ -1630,10 +1630,10 @@ double dt_get_screen_resolution(GtkWidget *widget) screen_dpi = 96.0; strncpy(opt_str, "(default value)", sizeof(opt_str)); } - gdk_screen_set_resolution(gtk_widget_get_screen(widget), screen_dpi); - dt_print(DT_DEBUG_CONTROL, "[screen resolution] setting the screen resolution to %f dpi %s", - screen_dpi, opt_str); } + gdk_screen_set_resolution(gtk_widget_get_screen(widget), screen_dpi); + dt_print(DT_DEBUG_CONTROL, "[screen resolution] setting the screen resolution to %f dpi %s", + screen_dpi, opt_str); return screen_dpi; }