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