[java-gnome-hackers] Adding switch-page signal

[Stefan S. <ste...@gm...>]

Hi java-gnome hackers,

currently I am working on a personal application using java-gnome and I
found some parts of the toolkit that I need which are not yet exposed. 

I would like to add the switch-page signal [1] of GtkNotebook but I got
stuck. The generated interface has a FIXME data type for the page
parameter which should be a GtkNotebookPage. The documentation says that
it's an "opaque implementation detail". From what I can see, this
parameter is quite useless because the new page can also be obtained
from the page_num parameter. In gtk# this type is even deprecated.

I already tried to create a defs-file for GtkNotebookPage but did not
know which parent class I should use.

Does anyone have an idea what I can do about this parameter? Or can we
omit this parameter completely in the public API?

The other thing I am interested in is GtkSourceView. Is anyone working
or planning to work on coverage for this library?

	Stefan


[1]
http://library.gnome.org/devel/gtk/stable/GtkNotebook.html#GtkNotebook-switch-page