Source position: gtkwidget.pp line 371
procedure gtk_widget_get_pointer(
widget: PGtkWidget;
x: Pgint;
y: Pgint
);