external
pop_colormap : unit
->
unit
=
"ml_gtk_widget_pop_colormap"