}
-__inline__ GtkWidget *guicontrolflow_get_widget(
- ControlFlowData *control_flow_data)
-{
- return control_flow_data->top_widget ;
-}
-
-__inline__ ProcessList *guicontrolflow_get_process_list
- (ControlFlowData *control_flow_data)
-{
- return control_flow_data->process_list ;
-}
-