void create_new_window(GtkWidget* widget, gpointer user_data, gboolean clone);
void insert_menu_toolbar_item(MainWindow * mw, gpointer user_data);
-void construct_main_window(MainWindow * parent, WindowCreationData *win_creation_data,
- gboolean first_window);
+void construct_main_window(MainWindow * parent, WindowCreationData *win_creation_data);
void main_window_free(MainWindow * mw);
void main_window_destructor(MainWindow * mw);
on_remove_viewer_activate (GtkMenuItem *menuitem,
gpointer user_data);
+void
+on_trace_filter_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_trace_facility_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
void
on_load_module_activate (GtkMenuItem *menuitem,
gpointer user_data);
on_MWindow_destroy (GtkObject *object,
gpointer user_data);
+gboolean
+on_MWindow_configure (GtkWidget *widget,
+ GdkEventConfigure *event,
+ gpointer user_data);
void
on_insert_viewer_test_activate (GtkMenuItem *menuitem,