Frama-C:
Plug-ins:
Libraries:

Frama-C API - Gtk_form

DEPRECATED. Helpers around Gtk_helper to create side-panel widgets.

This module should not be used anymore. The provided helpers allow for synchronizing plugin options with predefined widgets.

However, the widgets should be now created with Toolbox. The synchronization can be achieved using Toolbox.signal as a replacement for above demon.

type demon
val demon : unit -> demon
val register : demon -> (unit -> unit) -> unit
val refresh : demon -> unit -> unit
type 'a field = ?tooltip:string -> packing:(GObj.widget -> unit) -> (unit -> 'a) -> ('a -> unit) -> demon -> unit
val check : ?label:string -> bool field
val menu : (string * 'a) list -> ?width:int -> 'a field
val spinner : ?lower:int -> ?upper:int -> ?width:int -> int field
val label : text:string -> packing:(GObj.widget -> unit) -> unit -> unit
val button : label:string -> ?tooltip:string -> callback:(unit -> unit) -> packing:(GObj.widget -> unit) -> unit -> unit
class form : packing:(GObj.widget -> unit) -> object ... end