Frama-C:
Plug-ins:
Libraries:

Frama-C API - dialog

Dialog for choosing a file. The default file type is `FILE.

inherit string Frama_c_gui.Widget.signal
method add_filter : descr:string -> patterns:string list -> unit
method select : ?dir:string -> ?file:string -> unit -> unit

Open the dialog. The selected file is signaled via the connected listeners.