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