GdkWin32: Set the "gtk-hint-font-metrics" property

Helps for https://gitlab.gnome.org/GNOME/gtk/-/issues/5257

diff --git a/gdk/win32/gdkproperty-win32.c b/gdk/win32/gdkproperty-win32.c
index 451508133730a03081e4be560c3a2aabc5bbc7a7..d41c7b98202ebcd0be7635b5f55e1e7f73e7d93e 100644 (file)
--- 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)