gpointer user_data);
void
-on_close_tab_activate (GtkMenuItem *menuitem,
+on_close_tab_X_clicked (GtkWidget *widget,
+ gpointer user_data);
+
+void
+on_close_tab_activate (GtkWidget *widget,
gpointer user_data);
void
on_trace_facility_activate (GtkMenuItem *menuitem,
gpointer user_data);
+void
+on_load_library_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_unload_library_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+
void
on_load_module_activate (GtkMenuItem *menuitem,
gpointer user_data);
gpointer user_data);
void
-on_add_module_search_path_activate (GtkMenuItem *menuitem,
+on_add_library_search_path_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+void
+on_remove_library_search_path_activate (GtkMenuItem *menuitem,
gpointer user_data);
void
void
on_button_remove_trace_clicked (GtkButton *button,
gpointer user_data);
+void
+on_button_redraw_clicked (GtkButton *button,
+ gpointer user_data);
+
+void
+on_button_continue_processing_clicked (GtkButton *button,
+ gpointer user_data);
+
+void
+on_button_stop_processing_clicked (GtkButton *button,
+ gpointer user_data);
void
on_button_save_clicked (GtkButton *button,