Gdk.Event.proximity – gdk-3.0 Reference Manual
proximity
Description:
public
EventProximity
proximity
{
get
; }
2022 vala-language.org