class highlighter : Design.main_window_extension_points -> object .. end
Design.main_window_extension_points ->
object
end
method set : Wpo.t option -> unit
Wpo.t option -> unit
method update : unit
unit
method highlight : GSourceView2.source_buffer -> Pretty_source.localizable -> start:int -> stop:int -> unit
GSourceView2.source_buffer -> Pretty_source.localizable -> start:int -> stop:int -> unit