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
guint page_num,
gpointer user_data);
+
+void
+on_MEntry1_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+void
+on_MEntry2_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+void
+on_MEntry3_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+void
+on_MEntry4_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+void
+on_MEntry5_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+void
+on_MEntry6_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+
+
+void time_change_manager (Tab *tab,
+ TimeWindow new_time_window);
+
+void current_time_change_manager (Tab *tab,
+ LttTime new_current_time);
+
gboolean execute_time_requests(MainWindow * mw);