Class GuiSource.highlighter

class highlighter : Design.main_window_extension_points -> object .. end

method set : Wpo.t option -> unit
method update : unit
method highlight : Design.reactive_buffer ->
Pretty_source.localizable -> start:int -> stop:int -> unit