external pop_colormap : unit -> unit
      = "ml_gtk_widget_pop_colormap"