* MA 02111-1307, USA.
*/
+#ifdef HAVE_CONFIG_H
+#include <config.h>
+#endif
+
#include <glib.h>
#include <gtk/gtk.h>
#include <gdk/gdk.h>
}
-
/*****************************************************************************
* Control Flow Viewer class implementation *
*****************************************************************************/
* @return The widget created.
*/
ControlFlowData *
-guicontrolflow(void)
+guicontrolflow(Tab *tab)
{
GtkWidget *process_list_widget, *drawing_widget, *drawing_area;
ControlFlowData* control_flow_data = g_new(ControlFlowData,1) ;
+ control_flow_data->tab = tab;
+
control_flow_data->v_adjust =
GTK_ADJUSTMENT(gtk_adjustment_new( 0.0, /* Value */
0.0, /* Lower */
process_list_widget, FALSE, TRUE);
gtk_paned_pack2(GTK_PANED(control_flow_data->h_paned),
drawing_widget, TRUE, TRUE);
-
+
+ gtk_container_set_border_width(GTK_CONTAINER(control_flow_data->box), 1);
+
/* Set the size of the drawing area */
//drawing_Resize(drawing, h, w);
//inserted in the main window before the drawing area
//can be configured (and this must happend bedore sending
//data)
-
return control_flow_data;