Class type Wtext.marker

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 on_shift_click : ('a entry -> unit) -> unit
method on_add : ('a entry -> unit) -> unit
method wrap : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit

Register with #add an entry around its pretty-print.

method mark : 'b. 'a -> (Stdlib.Format.formatter -> 'b -> unit) -> Stdlib.Format.formatter -> 'b -> unit

Register the entry around the pretty-printed material.

method add : 'a entry -> unit

Register an entry