external device : t -> device = "ml_GdkEventProximity_device"