Support for tk_optionMenu
val create: widget -> textVariable -> string list -> widget * 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
Go to the first, previous, next, last section, table of contents.