GWindow.Buttons.3o

Langue: en

Autres versions - même langue

Version: 324444 (ubuntu - 08/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

GWindow.Buttons - no description

Module

Module GWindow.Buttons

Documentation

Module Buttons
 :  sig end

val ok : [> `OK ] GWindow.buttons

val close : [> `CLOSE ] GWindow.buttons

val yes_no : [> `NO | `YES ] GWindow.buttons

val ok_cancel : [> `CANCEL | `OK ] GWindow.buttons

type color_selection = [ `CANCEL | `DELETE_EVENT | `HELP | `OK ]

type file_selection = [ `CANCEL | `DELETE_EVENT | `HELP | `OK ]

type font_selection = [ `APPLY | `CANCEL | `DELETE_EVENT | `OK ]

type about = [ `CLOSE | `DELETE_EVENT ]