def make_menu(position,options,width,prompt=None):
    contents = []
    if prompt:
        p = SurfWidget(typefaces.prepare_paragraph(prompt,width))
        contents.append(p)
        contents.append(SpaceWidget(8))
    for label,command in options:
        o = ChoiceWidget(label,command)
        contents.append(o)
    return TextFrame(position,contents,width)