Source position: gtkwidget.pp line 368
procedure gtk_widget_set_colormap(
widget: PGtkWidget;
colormap: PGdkColormap
);