Module Source_manager

module Source_manager: sig .. end

The source viewer multi-tabs widget window.

type t

val selection_locked : bool Stdlib.ref

Prevents the filetree callback from resetting the selected line when it was selected via a click in the original source viewer.

val make : ?tab_pos:Gtk.Tags.position ->
       ?packing:(GObj.widget -> unit) -> unit -> t

val load_file : t ->
       ?title:string ->
       filename:Datatype.Filepath.t ->
       ?line:int ->
       click_cb:(Pretty_source.localizable option -> unit) -> 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. click_cb is a callback called whenever the user clicks on the original source code. This callback is given the localizable that the user clicked on, if any was found. This localizable is estimated from a reverse mapping from the original source to the Cil source, and not always exact.

val select_file : t -> Datatype.Filepath.t -> unit

Selection by page filename

val select_name : t -> string -> unit

Selection by page title

val get_current_source_view : t -> GSourceView.source_view

Returns the source viewer for the currently displayed tab

val clear : t -> unit

Remove all pages added by load_file