- method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
- method element_changed :
- callback:(Gdome.element option -> unit) -> GtkSignal.id
- method selection_changed :
- callback:(Gdome.element option -> unit) -> GtkSignal.id
+ val obj: 'b Gtk.obj
+ method click :
+ callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+ method element_over :
+ callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+ method select_begin :
+ callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+ method select_over :
+ callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+ method select_end :
+ callback:(Gdome.element option -> int -> unit) -> GtkSignal.id
+ method select_abort :
+ callback:(unit -> unit) -> GtkSignal.id