package frama-c

  1. Overview
  2. Docs
On This Page
  1. File Choosers
Legend:
Library
Module
Module type
Parameter
Class
Class type

File Choosers

type filekind = [
  1. | `FILE
  2. | `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.

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.