Widgets for working with text-based GUIs in Python