src/fltrdr/tui.cc | 129 ++++++++++++++++++++++++++++++++++--------------------
src/fltrdr/tui.hh | 3 +-
src/main.cc | 2 +-
src/ob/readline.cc | 25 ++++++++--
src/ob/readline.hh | 10 +++-
5 files changed, 116 insertions(+), 53 deletions(-)