Source position: gtkwidget.pp line 392
procedure gtk_widget_set_default_colormap(
colormap: PGdkColormap
);