rr- 05c9bcd0e6 ui/curses: improve margins

2019-01-13 20:53:18 +01:00

..

basic

misc: improve mypy health

2019-01-04 20:13:52 +01:00

curses

ui/curses: improve margins

2019-01-13 20:53:18 +01:00

__init__.py

ui: rename Ui class to UrwidUserInterface

2018-12-14 00:32:21 +01:00

base.py

ui/curses: add curses interface draft

2019-01-03 21:38:19 +01:00