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);