sig
type t
val selection_locked : bool Pervasives.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:string ->
?line:int ->
click_cb:(Pretty_source.localizable option -> unit) -> unit -> unit
val select_file : Source_manager.t -> string -> unit
val select_name : Source_manager.t -> string -> unit
val get_current_source_view : Source_manager.t -> GSourceView2.source_view
val clear : Source_manager.t -> unit
end