traff/jediterm — pull request #20 by Plonk42 (2013-07-12 14:00:44+00:00)
Title: Fix bug when scrolling in the scroll buffer

When scrolling down, if the new bottom line is shorter than the previous
one, then the tail of the previous bottom line is not cleared.