widget_entered

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

© Copyright 2003-2023 www.php-editors.com. The ultimate PHP Editor and PHP IDE site.