get_event_widget
Description:
public unowned Widget?
get_event_widget (
Event event)
If event
is null or the event was not associated with any widget, returns
null, otherwise returns the widget that received the event originally.
Parameters:
Returns:
the widget that originally received event , or null
|