Eugene Yokota a798c4adff Re-fix console and JLine bug ... Fixes #3482 take 3 There are two bugs related REPL and JLine. 1. JLine getting disabled (up arrow not working) on the second run of `console` task. 2. Typed characters not showing up even on the `console` task. The first issue was fixed by #4054 which added `t.init`. When I noticed the second problem, I fixed it in #4082 (adds `t.restore`) but undid the first fix. This attempts to fix both the issues.		2018-04-25 16:55:26 -04:00
..
src	Re-fix console and JLine bug	2018-04-25 16:55:26 -04:00