GdkDevice device_get_core_pointer();