Re: RFR: JDK-8202105: jshell tool: on exiting, terminal echo is disabled

[Xueming Shen]

+1

(nit: remove the "where:" and the corresponding indent before push please).


On 4/26/18, 1:34 PM, Jan Lahoda wrote:

Ok, here is an updated webrev:
http://cr.openjdk.java.net/~jlahoda/8202105/webrev.02/

Jan