mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-14 20:51:07 +00:00
widget: Update when font settings change
Update the pango context when font-related settings change, using the new GtkSystemSetting mechanism.
This commit is contained in:
parent
679863af4f
commit
7b4378bc46
@ -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))
|
||||
|
Loading…
Reference in New Issue
Block a user