object
  method buffer : GSourceView2.source_buffer
  method error :
    ?parent:GWindow.window_skel ->
    ?reset:bool -> ('a, Format.formatter, unit) format -> 'a
  method full_protect :
    cancelable:bool ->
    ?parent:GWindow.window_skel -> (unit -> 'a) -> 'a option
  method locs : Pretty_source.Locs.state option
  method protect :
    cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> unit) -> unit
  method redisplay : unit
  method rehighlight : unit
  method private set_reset : (unit -> unit) -> unit
end