From 1506de5669853be62dbc10b992679aea84e14ac8 Mon Sep 17 00:00:00 2001 From: Luca Bacci Date: Fri, 4 Nov 2022 15:59:15 +0100 Subject: [PATCH] GdkWin32: Set the "gtk-hint-font-metrics" property Helps for https://gitlab.gnome.org/GNOME/gtk/-/issues/5257 --- gdk/win32/gdkproperty-win32.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/gdk/win32/gdkproperty-win32.c b/gdk/win32/gdkproperty-win32.c index 4515081337..d41c7b9820 100644 --- a/gdk/win32/gdkproperty-win32.c +++ b/gdk/win32/gdkproperty-win32.c @@ -127,6 +127,14 @@ _gdk_win32_get_setting (const char *name, return FALSE; } } + else if (strcmp ("gtk-hint-font-metrics", name) == 0) + { + gboolean hint_font_metrics = TRUE; + GDK_NOTE(MISC, g_print("gdk_screen_get_setting(\"%s\") : %s\n", name, + hint_font_metrics ? "TRUE" : "FALSE")); + g_value_set_boolean (value, hint_font_metrics); + return TRUE; + } else if (strcmp ("gtk-im-module", name) == 0) { if (_gdk_input_locale_is_ime)