Anterior
widget_entered
Siguiente
widget_entered
Emitted when an active tips query enters a widget by hovering it.
Callback function
void callback(
GtkTipsQuery
tips_query,
GtkWidget
widget, string tip_text, string tip_private,
GdkEvent
event);