module Source_viewer: sig
.. end
The Frama-C source viewer.
That is the buffer where Frama-C puts its pretty-printed AST.
val make : packing:(GObj.widget -> unit) -> GSourceView2.source_view
Build a new source viewer.
val buffer : unit -> GSourceView2.source_buffer
Returns the buffer displaying the pretty-printed AST.