Source position: gdkscreen.inc line 47
function gdk_screen_get_default_colormap(
screen: PGdkScreen
):PGdkColormap;