external insert : [>`text] obj -> ?font:Gdk.font -> ?foreground:Gdk.color -> ?background:Gdk.color -> string -> unit = "ml_gtk_text_insert"