Ticket #4 (new enhancement)
Opened 7 years ago
Improve dumb terminal interface
|Reported by:||judah||Owned by:|
The dumb terminal interface works, but is not that pretty. In particular, we only scroll the line if the cursor is about to move off of the screen. Readline has a margin of about 1/3 the width which causes a scroll when the cursor enters it; we could do something similar.