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_add : ('Wtext.entry -> unit) -> 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 on_shift_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