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