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