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
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