Wpane.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
method run : unit -> unit
Opens the dialog (asynchronously).
inherit 'a Frama_c_gui.Widget.signal