+/* Destroys widget also */
+void
+GuiControlFlow_Destructor_Full(ControlFlowData *Control_Flow_Data)
+{
+ /* May already have been done by GTK window closing */
+ if(GTK_IS_WIDGET(Control_Flow_Data->Scrolled_Window_VC))
+ gtk_widget_destroy(Control_Flow_Data->Scrolled_Window_VC);
+
+ GuiControlFlow_Destructor(Control_Flow_Data);
+}
+