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