[gnome-builder] plugins/editorui: queue resize when changing settings

[Christian Hergert <chergert src gnome org>]

commit 57c388e9e6ad9f6d3cc53b28826f20655f15c083
Author: Christian Hergert <chergert redhat com>
Date:   Sat Aug 13 11:15:18 2022 -0700

    plugins/editorui: queue resize when changing settings

 src/plugins/editorui/gbp-editorui-preview.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-preview.c b/src/plugins/editorui/gbp-editorui-preview.c
index 07c5e95f2..d33709e0a 100644
--- a/src/plugins/editorui/gbp-editorui-preview.c
+++ b/src/plugins/editorui/gbp-editorui-preview.c
@@ -141,6 +141,8 @@ gbp_editorui_preview_settings_changed_cb (GbpEditoruiPreview *self,
 
       g_clear_pointer (&font_desc, pango_font_description_free);
     }
+
+  gtk_widget_queue_resize (GTK_WIDGET (self));
 }
 
 static void