Tue, 22 Aug 2017 13:10:46 +0200 8182297: jshell tool: pasting multiple lines of code truncated
jlahoda [Tue, 22 Aug 2017 13:10:46 +0200] rev 46923
8182297: jshell tool: pasting multiple lines of code truncated Summary: Read input needs to be kept across ConsoleReader.readLine invocations unless consumed. Reviewed-by: rfield, rfield
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 tip