external set_text : style -> state_type -> Gdk.color -> unit
      = "ml_gtk_style_set_text"