external add_target : [>`widget] obj -> sel:Gdk.atom -> target:Gdk.atom -> info:int -> unit = "ml_gtk_selection_add_target"