Module Frama_c_gui.Book_managerSource

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

Sourcetype t
Sourceval make : ?tab_pos:Gtk.Tags.position -> ?packing:(GObj.widget -> unit) -> unit -> t
Sourceval get_notebook : t -> GPack.notebook
Sourceval append_source_tab : t -> string -> GSourceView.source_view
Sourceval prepend_source_tab : t -> string -> GSourceView.source_view
Sourceval get_nth_page : t -> int -> GObj.widget
Sourceval current_page : t -> int
Sourceval last_page : t -> int
Sourceval set_current_view : t -> int -> unit
Sourceval get_current_view : t -> GSourceView.source_view
Sourceval get_current_index : t -> int
Sourceval delete_current_view : t -> unit
Sourceval delete_view : t -> int -> unit
Sourceval delete_all_views : t -> unit
Sourceval append_view : t -> GSourceView.source_view -> unit
Sourceval get_nth_view : t -> int -> GSourceView.source_view
Sourceval enable_popup : t -> bool -> unit
Sourceval set_scrollable : t -> bool -> unit
Sourceval length : t -> int