blob: 39707e9ff167c12d94d83ce66dd0108a567c12d4 (
plain)
1
2
3
4
5
6
7
|
(* Support for tk_optionMenu *)
val create: parent:'a widget -> variable:textVariable ->
?name: string -> string list -> menubutton widget * menu widget
(* [create parent var options] creates a multi-option
menubutton and its associated menu. The option is also stored
in the variable. Both widgets (menubutton and menu) are
returned *)
|