Source position: gtkwidget.inc line 420
function gtk_widget_get_colormap(
widget: PGtkWidget
):PGdkColormap;