Class type Wtext.marker

class type ['a] marker = object .. end

method set_style : GText.tag_property list -> unit
The style of added entries. Defaults to empty.

Warning must be set before any entry is added.

method set_hover : GText.tag_property list -> unit
The style of hovered entries. Defaults to background green.

Warning must be set before any entry is added.

method connect : (GdkEvent.Button.t -> 'a entry -> unit) -> unit
method on_click : ('a entry -> unit) -> unit
method on_double_click : ('a entry -> unit) -> unit
method on_right_click : ('a entry -> unit) -> unit
method wrap : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
Register with #add an entry around its pretty-print.
method mark : 'b. 'a -> (Format.formatter -> 'b -> unit) -> Format.formatter -> 'b -> unit
Register the entry around the pretty-printed material.
method add : 'a entry -> unit
Register an entry