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

Simple Widgets

Sourceclass type widget = object ... end
Sourceclass type action = object ... end
Sourceclass type t = widget
Sourceclass type 'a signal = object ... end
Sourceclass type 'a selector = object ... end

Labels

Sourcetype align = [
  1. | `Left
  2. | `Right
  3. | `Center
]
Sourcetype style = [
  1. | `Label
  2. | `Descr
  3. | `Code
  4. | `Title
]
Sourcetype color = [
  1. | GDraw.color
  2. | `NORMAL
]
Sourceclass label : ?style:style -> ?align:align -> ?width:int -> ?text:string -> unit -> object ... end

Default: ~style:`Label ~align:`Left

Icons

Sourcetype icon = [
  1. | GtkStock.id
  2. | `Share of string
  3. | `None
]
Sourceval default_icon : unit -> GdkPixbuf.pixbuf
Sourceval shared_icon : string -> GdkPixbuf.pixbuf
Sourceval gimage : icon -> GMisc.image
Sourceclass image : icon -> object ... end

Buttons

Sourceclass button : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip: string -> unit -> object ... end
Sourceclass toggle : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip: string -> unit -> object ... end
Sourceclass checkbox : label:string -> ?tooltip:string -> unit -> object ... end
Sourceclass switch : ?tooltip:string -> unit -> object ... end

Groups

Sourceclass 'a group : 'a -> object ... end

A group is not a widget ; it creates interconnected toggle or radio buttons, each switching to a peculiar value.

Selectors

Sourceclass spinner : ?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string -> unit -> object ... end
Sourceclass 'a menu : default:'a -> ?options:('a * string) list -> ?render:('a -> string) -> ?items:'a list -> unit -> object ... end
Sourceclass popup : unit -> object ... end

Contextual menu. The #popup method can be called inside a right-click callback. For instance: widget#on_right_click menu#popup.

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