method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
method element_changed :
callback:(Gdome.element option -> unit) -> GtkSignal.id
method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
method element_changed :
callback:(Gdome.element option -> unit) -> GtkSignal.id