method after : tips_query_signals as 'amethod destroy : callback:(unit -> unit) -> GtkSignal.idmethod notify_caller : callback:(GObj.widget option -> unit) -> GtkSignal.idmethod notify_emit_always : callback:(bool -> unit) -> GtkSignal.idmethod notify_label_inactive : callback:(string -> unit) -> GtkSignal.idmethod notify_label_no_tip : callback:(string -> unit) -> GtkSignal.idmethod start_query : callback:(unit -> unit) -> GtkSignal.idmethod stop_query : callback:(unit -> unit) -> GtkSignal.idmethod widget_entered : callback:
(GObj.widget option ->
text:string ->
privat:string ->
unit) ->
GtkSignal.idmethod widget_selected : callback:
(GObj.widget option ->
text:string ->
privat:string ->
GdkEvent.Button.t ->
bool) ->
GtkSignal.id