- menu = gtk_menu_new ();
-
- i = 0;
- while (i < MODEL_LAST)
- {
- GtkWidget *mi;
- const char *name;
-
- name = model_names[i];
-
- mi = gtk_menu_item_new_with_label (name);
-
- gtk_menu_shell_append (GTK_MENU_SHELL (menu), mi);
-
-#if 0
- window = create_prop_editor (G_OBJECT (models[i]));
-
- gtk_window_set_title (GTK_WINDOW (window),
- name);
-#endif
-
- ++i;
- }
- gtk_widget_show_all (menu);
-
- om = gtk_option_menu_new ();
- gtk_option_menu_set_menu (GTK_OPTION_MENU (om), menu);
-
- gtk_table_attach (GTK_TABLE (table), om,