From 7b4378bc46da8c644bb10c1c5c03d48b744e20de Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 21 Apr 2020 16:26:36 -0400 Subject: [PATCH] widget: Update when font settings change Update the pango context when font-related settings change, using the new GtkSystemSetting mechanism. --- gtk/gtkwidget.c | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index 8d8d3d366b..6b0b80a50d 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -4874,6 +4874,15 @@ gtk_widget_real_system_setting_changed (GtkWidget *widget, { GtkWidget *child; + if (setting == GTK_SYSTEM_SETTING_DPI || + setting == GTK_SYSTEM_SETTING_FONT_NAME || + setting == GTK_SYSTEM_SETTING_FONT_CONFIG) + { + gtk_widget_update_pango_context (widget); + if (gtk_widget_peek_pango_context (widget)) + gtk_widget_queue_resize (widget); + } + for (child = _gtk_widget_get_first_child (widget); child != NULL; child = _gtk_widget_get_next_sibling (child))