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