object
  method buffer : GSourceView.source_buffer
  method error :
    ?parent:GWindow.window_skel -> ('a, Format.formatter, unit) format -> 'a
  method full_protect :
    ?parent:GWindow.window_skel -> (unit -> 'b) -> 'b option
  method locs : Pretty_source.Locs.state option
  method protect : ?parent:GWindow.window_skel -> (unit -> unit) -> unit
  method rehighlight : unit
end