src/fltrdr/tui.cc | 10 ++-
src/fltrdr/tui.hh | 2 +-
src/main.cc | 4 +-
src/ob/readline.cc | 224 +++++++++++++++++++++++++++++++++++++++++++++++-------
src/ob/readline.hh | 67 ++++++++++++++--
5 files changed, 272 insertions(+), 35 deletions(-)