Frama_c_gui.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
.
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 spinner : ?lower:int -> ?upper:int -> ?width:int -> int field
class form : packing:( GObj.widget -> unit ) -> object ... end