id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
4,Improve dumb terminal interface,judah,,"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.",enhancement,new,minor,,0.1,,,