}
-__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 ;
-}
-