Frama-C:
Plug-ins:
Libraries:

Frama-C API - Book_manager

Undocumented. Do not use this module if you don't know what you are doing.

type t
val make : ?tab_pos:Gtk.Tags.position -> ?packing:(GObj.widget -> unit) -> unit -> t
val get_notebook : t -> GPack.notebook
val append_source_tab : t -> string -> GSourceView.source_view
val prepend_source_tab : t -> string -> GSourceView.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 -> GSourceView.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
val append_view : t -> GSourceView.source_view -> unit
val get_nth_view : t -> int -> GSourceView.source_view
val enable_popup : t -> bool -> unit
val set_scrollable : t -> bool -> unit
val length : t -> int