Source position: gtkwidget.inc line 441
procedure gtk_widget_set_colormap(
widget: PGtkWidget;
colormap: PGdkColormap
);