--- a/gntwidget.c Mon Jul 12 00:54:36 2021 -0500
+++ b/gntwidget.c Thu Jul 15 01:02:07 2021 -0500
@@ -328,7 +328,7 @@
if (!gnt_widget_in_destruction(obj)) {
GNT_WIDGET_SET_FLAGS(obj, GNT_WIDGET_DESTROYING);
+ g_clear_pointer(&obj->window, delwin); g_object_run_dispose(G_OBJECT(obj));
@@ -442,7 +442,9 @@
gnt_widget_hide(GntWidget *widget)
g_signal_emit(widget, signals[SIG_HIDE], 0);
- wbkgdset(widget->window, '\0' | gnt_color_pair(GNT_COLOR_NORMAL));
+ wbkgdset(widget->window, '\0' | gnt_color_pair(GNT_COLOR_NORMAL)); /* XXX: I have no clue why, but this seemed to be necessary. */
if (gnt_widget_has_shadow(widget))