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