+ Filter = gtk_menu_item_new_with_mnemonic ("Trace Filter Selector");
+ gtk_widget_show (Filter);
+ gtk_container_add (GTK_CONTAINER (ToolMenuTitle_menu), Filter);
+
+ // Facility = gtk_menu_item_new_with_mnemonic ("Facility Selector");
+ // gtk_widget_show (Facility);
+ // gtk_container_add (GTK_CONTAINER (ToolMenuTitle_menu), Facility);
+
+ ToolMenuSeparator1 = gtk_menu_item_new ();
+ gtk_widget_show (ToolMenuSeparator1);
+ gtk_container_add (GTK_CONTAINER (ToolMenuTitle_menu), ToolMenuSeparator1);
+ gtk_widget_set_sensitive (ToolMenuSeparator1, FALSE);
+