struct gui_data *inst = (struct gui_data *)data;
    term_copyall(inst->term);
}

void special_menuitem(GtkMenuItem *item, gpointer data)
{
    struct gui_data *inst = (struct gui_data *)data;
    int code = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
						   "user-data"));

    inst->back->special(inst->backhandle, code);
}

void about_menuitem(GtkMenuItem *item, gpointer data)
{
    struct gui_data *inst = (struct gui_data *)data;

    if (specials) {
	int i;
	GtkWidget *menuitem;
	for (i = 0; specials[i].name; i++) {
	    if (*specials[i].name) {
		menuitem = gtk_menu_item_new_with_label(specials[i].name);
		gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
				    GINT_TO_POINTER(specials[i].code));
		gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
				   GTK_SIGNAL_FUNC(special_menuitem), inst);
	    } else
		menuitem = gtk_menu_item_new();
	    gtk_container_add(GTK_CONTAINER(inst->specialsmenu), menuitem);
	    gtk_widget_show(menuitem);
	}