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