object ('a) method add : callback:(GObj.widget -> unit) -> GtkSignal.id method after : 'a method destroy : callback:(unit -> unit) -> GtkSignal.id method remove : callback:(GObj.widget -> unit) -> GtkSignal.id end