Closed this issue 4 years ago · 1 comments
Right now we are using a list of buttons, I think this is what we need
https://github.com/prompt-toolkit/python-prompt-toolkit/blob/cae13dee79db63bb5fbb0eca95383ad67bdfe30f/prompt_toolkit/widgets/menus.py#L33-L33
Related to #91
This wasn't what we wanted.