Frama-C:
Plug-ins:
Libraries:

Frama-C API - dialog

constraint 'a = [> `CANCEL | `APPLY ]
method add_row : GObj.widget -> unit
method add_block : GObj.widget -> unit
method button : action:'a action -> ?label:string -> ?icon:Frama_c_gui.Widget.icon -> ?tooltip:string -> unit -> unit

Closes the dialog.

method select : 'a -> unit

Closes the dialog.

method run : unit -> unit

Opens the dialog (asynchronously).

inherit 'a Frama_c_gui.Widget.signal

Emitted when the dialog is closed.