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