object
  method add : 'a Wtext.entry -> unit
  method connect : (GdkEvent.Button.t -> 'a Wtext.entry -> unit) -> unit
  method mark :
    'a -> (Format.formatter -> 'b -> unit) -> Format.formatter -> 'b -> unit
  method on_click : ('a Wtext.entry -> unit) -> unit
  method on_double_click : ('a Wtext.entry -> unit) -> unit
  method on_right_click : ('a Wtext.entry -> unit) -> unit
  method set_hover : GText.tag_property list -> unit
  method set_style : GText.tag_property list -> unit
  method wrap :
    (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
end