package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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).

Emitted when the dialog is closed.