package frama-c

  1. Overview
  2. Docs

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.