Source position: gdkwindow-x11.inc line 84
function has_pointer_focus(
var a: TGdkWindowImplX11
):guint;