Source position: gtkwidget.pp line 366
function gtk_widget_get_colormap(
widget: PGtkWidget
):PGdkColormap;