Source position: gdkprivate-x11.inc line 117
function GDK_SCREEN_DISPLAY(
screen: PGdkScreen
):PGdkDisplay;