package frama-c

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

Wtoolkit - Utilities

val on : 'a option -> ('a -> unit) -> unit
val fire : ('a -> unit) list -> 'a -> unit
val once : ('a -> 'b) -> 'a -> 'b

Settings & Console

val share : string ref
val flush : (string -> unit) ref
val warning : ('a, Format.formatter, unit) format -> 'a

Styling

val set_enabled : GObj.widget -> bool -> unit
val set_visible : GObj.widget -> bool -> unit
val set_tooltip : GObj.widget -> string option -> unit
val set_font : GObj.widget -> string -> unit
val set_monospace : GObj.widget -> unit
val set_small_font : GObj.widget -> unit
val set_bold_font : GObj.widget -> unit
val to_utf8 : string -> string

Ratios

val get_pane_ratio : GPack.paned -> float
val set_pane_ratio : GPack.paned -> float -> unit

Timing

val later : (unit -> unit) -> unit

Post the action on next idle.

Events

class virtual 'a handler : object ... end

Defines on_xxx in term of connect.

class 'a signal : object ... end

Has type Widget.signal

class 'a selector : 'a -> object ... end

Has type Widget.selector

class type widget = object ... end
class layout : object ... end
class gobj_action : GObj.widget -> object ... end
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