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