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