notebook

[Dennis Bjorklund <db zigo dhs org>]

This is a signal from GtkNotebook

  void (* switch_page)       (GtkNotebook     *notebook,
                              GtkNotebookPage *page,
                              guint            page_num);

yet GtkNotebookPage is an internal type and there are no functions that 
works on it (that i can find). How can the handler ever use this value?

I guess it should be GtkWidget * instead?

Should I file a bugreport?

-- 
/Dennis