787 |
|
|
788 |
page = (gint)g_object_get_data(G_OBJECT(button), "page"); |
page = (gint)g_object_get_data(G_OBJECT(button), "page"); |
789 |
gtk_notebook_set_current_page(nb, page); |
gtk_notebook_set_current_page(nb, page); |
|
|
|
|
// gtk_widget_set_state(button, GTK_STATE_ACTIVE); // or: SELECTED, ACTIVE |
|
|
// gtk_widget_show_all(button); |
|
790 |
} |
} |
791 |
|
|
|
|
|
792 |
static void notebook_append_page(GtkWidget *notebook, |
static void notebook_append_page(GtkWidget *notebook, |
793 |
GtkWidget *page, char *label) { |
GtkWidget *page, char *label) { |
794 |
#ifdef CUSTOM_NOTEBOOK |
#ifdef CUSTOM_NOTEBOOK |