package frama-c

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

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
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