Module Source_manager


module Source_manager: sig .. end
This file contains the source viewer multi-tabs widget window

type t 
val make : packing:(GObj.widget -> unit) -> t
val make_unpacked : unit -> t
val load_file : t -> filename:string -> line:int -> unit

Lowlevel interface
val get_notebook : t -> GPack.notebook
val append_source_tab : t -> string -> GSourceView2.source_view
val prepend_source_tab : t -> string -> GSourceView2.source_view
val get_nth_page : t -> int -> GObj.widget
val current_page : t -> int
val last_page : t -> int
val set_current_view : t -> int -> unit
val get_current_view : t -> GSourceView2.source_view
val get_current_index : t -> int
val delete_current_view : t -> unit
val delete_view : t -> int -> unit
val delete_all_views : t -> unit
Delete all pages in the object
val append_view : t -> GSourceView2.source_view -> unit
val get_nth_view : t -> int -> GSourceView2.source_view
val enable_popup : t -> bool -> unit
val set_scrollable : t -> bool -> unit
val length : t -> int