Source position: gtkwidget.inc line 503
procedure gtk_widget_set_default_colormap(
colormap: PGdkColormap
);