sig
type 'a entry = int * int * 'a
class type ['a] marker =
object
method add : 'a Wtext.entry -> unit
method connect : (GdkEvent.Button.t -> 'a Wtext.entry -> unit) -> unit
method mark :
'a ->
(Stdlib.Format.formatter -> 'b -> unit) ->
Stdlib.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 :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter -> 'a -> unit
end
class text :
?autoscroll:bool ->
?width:int ->
?indent:int ->
unit ->
object
method clear : unit
method coerce : GObj.widget
method fmt : Stdlib.Format.formatter
method get_view : GText.view
method hrule : unit
method lines : int
method links : string Wtext.marker
method marker : 'a Wtext.marker
method offset : int
method on_link : (string -> unit) -> unit
method printf :
?scroll:bool ->
('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
method remove_all : string list -> unit
method remove_style : string -> int -> int -> unit
method scroll : ?line:int -> unit -> unit
method select : ?scroll:bool -> int -> int -> unit
method set_autoscroll : bool -> unit
method set_css : (string * GText.tag_property list) list -> unit
method set_enabled : bool -> unit
method set_font : string -> unit
method set_indent : int -> unit
method set_monospace : unit
method set_style : string -> int -> int -> unit
method set_visible : bool -> unit
method set_width : int -> unit
method widget : Widget.widget
method wrap :
(int -> int -> unit) ->
(Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit
end
end