guint page_num)
{
GTK_NOTEBOOK_CLASS (parent_class)->switch_page (notebook, w, page_num);
-
}
static void
GtkWidget *widget)
{
GTK_CONTAINER_CLASS (parent_class)->set_focus_child (container, widget);
-
}
static void
g_free (fontname);
set_font_recursively (GTK_WIDGET (de), de->font);
}
-
}
GtkWidget*