GdkEventProximity

class GdkEventProximity 
{
    deviceid; 
    send_event; 
    source; 
    time; 
    type; 
    window; 
}