Frama_c_gui.Wfile
type filekind = [
| `FILE
| `DIR
]
class dialog : ?kind:filekind -> ?title:string -> ?select:string -> ?parent:GWindow.window -> unit -> object ... end
Dialog for choosing a file. The default file type is `FILE.
`FILE
class button : ?kind:filekind -> ?title:string -> ?select:string -> ?tooltip:string -> ?parent: GWindow.window -> unit -> object ... end
A button associated with a dialog to select the file.