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