re-inserting child widgets in a textbuffer requires gtk_widget_set_visible with gtk < 4

diff --git a/application/gtk-text.c b/application/gtk-text.c
index 5e9f01bd26ebd43f7be3198c5fe60b08b4148587..9817f579101c1b55398eec7c94e235fc9911797f 100644 (file)
--- a/application/gtk-text.c
+++ b/application/gtk-text.c
@@ -230,6 +230,9 @@ static void editor_set_buffer_cb(
     cx_foreach(EmbeddedWidget *, w, i) {
         if(!gtk_text_child_anchor_get_deleted(w->anchor)) {
             gtk_text_view_add_child_at_anchor(textview, w->widget, w->anchor);
+#if GTK_MAJOR_VERSION < 4
+    gtk_widget_set_visible(w->widget, TRUE);
+#endif
         }
     }
 }