external
get_default_colormap : unit
->
Gdk
.colormap
=
"ml_gtk_widget_get_default_colormap"