`sig
val cast : 'a Gobject.obj -> Gtk.tips_query Gtk.obj
module P :
sig
val caller :
([> `tipsquery ], Gtk.widget Gtk.obj option) Gobject.property
val emit_always : ([> `tipsquery ], bool) Gobject.property
val label_inactive : ([> `tipsquery ], string) Gobject.property
val label_no_tip : ([> `tipsquery ], string) Gobject.property
end
module S :
sig
val start_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
val stop_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
val widget_entered :
([> `tipsquery ],
Gtk.widget Gtk.obj option -> text:string -> privat:string -> unit)
GtkSignal.t
val widget_selected :
([> `tipsquery ],
Gtk.widget Gtk.obj option ->
text:string -> privat:string -> GdkEvent.Button.t -> bool)
GtkSignal.t
end
val create : Gtk.tips_query Gobject.param list -> Gtk.tips_query Gtk.obj
external start_query : [> `tipsquery ] Gtk.obj -> unit
= "ml_gtk_tips_query_start_query"
external stop_query : [> `tipsquery ] Gtk.obj -> unit
= "ml_gtk_tips_query_stop_query"
val make_params :
cont:(([> `tipsquery ] as 'a) Gobject.param list -> 'b) ->
'a Gobject.param list ->
?caller:Gtk.widget Gtk.obj ->
?emit_always:bool -> ?label_inactive:string -> ?label_no_tip:string -> 'b
end`