Bug#576814: [PATCH] Fix behaviour of ConsoleReader.setBuffer() if cursor is not at end of line

Hi, could you please check if the bug still applies the version 1.0-1 of jline which I have just uploaded? Thanks, Torsten On Fri, Apr 9, 2010 at 11:52 PM, Peter Collingbourne pe...@pcc.me.uk wrote: If the cursor is not at the end of the line and the old and new buffers have a common prefix

Bug#576814: [PATCH] Fix behaviour of ConsoleReader.setBuffer() if cursor is not at end of line

If the cursor is not at the end of the line and the old and new buffers have a common prefix then setBuffer will call backspace with an incorrect argument and the buffer will be mangled. This patch fixes the bug. --- src/main/java/jline/ConsoleReader.java |6 +-