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