public void get_pointer (out int x, out int y)
Warning: get_pointer is deprecated since "3.4".
Obtains the location of the mouse pointer in widget coordinates.
Use get_device_position instead.
Widget coordinates are a bit odd; for historical reasons, they are defined as this->window coordinates for widgets that return true for get_has_window; and are relative to this->allocation.x, this-> allocation.y otherwise.
return location for the X coordinate, or null
return location for the Y coordinate, or null