traff/jediterm — pull request #65 by Plonk42 (2013-09-24 16:23:56+00:00)
Title: Reset display scrolling when reseting

Good side effect is to reset scroll bar after a reset, in TerminalPanel implementation