package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct