traff/jediterm — pull request #57 by Plonk42 (2013-09-11 15:27:18+00:00)
Title: Reset more states in JediTerminal.reset()

Reset more states in JediTerminal.reset() and fix StyleState.reset()