external get_colormap : style -> Gdk.colormap = "ml_gtk_style_get_colormap"