device_get_core_pointer

GdkDevice device_get_core_pointer();