Returns the core pointer device for the default display.
gdkDeviceGetCorePointer()
Derived by RGtkGen from GTK+ documentation