external
set_default_colormap :
Gdk
.colormap
->
unit
=
"ml_gtk_widget_set_default_colormap"