Module Source_manager

module Source_manager: sig .. end
The source viewer multi-tabs widget window.

type t 
val make : ?tab_pos:Gtk.Tags.position ->
?packing:(GObj.widget -> unit) -> unit -> t
val load_file : t ->
?title:string -> filename:string -> ?line:int -> unit -> unit
If line is 0 then the last line of the text is shown. If line is less that 0 then no scrolling occurs (default). If title is not provided the page title is the filename.
val select_file : t -> string -> unit
Selection by page filename
val select_name : t -> string -> unit
Selection by page title
val clear : t -> unit
Remove all pages added by load_file