sig
type t
val selection_locked : bool Stdlib.ref
val make :
?tab_pos:Gtk.Tags.position ->
?packing:(GObj.widget -> unit) -> unit -> Source_manager.t
val load_file :
Source_manager.t ->
?title:string ->
filename:Datatype.Filepath.t ->
?line:int ->
click_cb:(Pretty_source.localizable option -> unit) -> unit -> unit
val select_file : Source_manager.t -> Datatype.Filepath.t -> unit
val select_name : Source_manager.t -> string -> unit
val get_current_source_view : Source_manager.t -> GSourceView.source_view
val clear : Source_manager.t -> unit
end