Index: src_plugins/lib_gtk_config/gui-config.c
===================================================================
--- src_plugins/lib_gtk_config/gui-config.c	(revision 8082)
+++ src_plugins/lib_gtk_config/gui-config.c	(revision 8083)
@@ -2764,6 +2764,7 @@
 {
 	gtk_widget_destroy(config_window);
 
+	config_sizes_tab_vbox = NULL;
 	config_sizes_vbox = NULL;
 	config_increments_vbox = NULL;
 	config_groups_vbox = config_groups_table = NULL;