external
push_colormap :
Gdk
.colormap
->
unit
=
"ml_gtk_widget_push_colormap"