Gdk.Event.property – gdk-3.0 Reference Manual
property
Description:
public
EventProperty
property
{
get
; }