Module `Frama_c_gui.Gtk_form`Source

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.

Sourcetype demon

Sourceval demon : unit -> demon

Sourceval register : demon -> (unit -> unit) -> unit

Sourceval refresh : demon -> unit -> unit

Source

type 'a field =
  ?tooltip:string ->
  packing:(GObj.widget -> unit) ->
  (unit -> 'a) ->
  ('a -> unit) ->
  demon ->
  unit

Sourceval check : ?label:string -> bool field

Sourceval menu : (string * 'a) list -> ?width:int -> 'a field

Sourceval spinner : ?lower:int -> ?upper:int -> ?width:int -> int field

Sourceval label : text:string -> packing:(GObj.widget -> unit) -> unit -> unit

Source

val button : 
  label:string ->
  ?tooltip:string ->
  callback:(unit -> unit) ->
  packing:(GObj.widget -> unit) ->
  unit ->
  unit

Sourceclass form : packing:(GObj.widget -> unit) -> object ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Gtk_form/index.html

Module `Frama_c_gui.Gtk_form`Source

package frama-c

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/Gtk_form/index.html

Module Frama_c_gui.Gtk_formSource

dune-project
Dependency

Module `Frama_c_gui.Gtk_form`Source