# HG changeset patch
# User rfield
# Date 1498422908 25200
# Node ID 28170236270a243a4338cb3d57c91496fdc1ceff
# Parent  7c61424b94ae51476921ae50f95a27f0cec68dcf
8182854: jshell tool: rerun multiline snippet from history corrupts history (jdk part)
Summary: jdk sub-repo part of fix for parent issue 8182489, test in parent commit (langtools)
Reviewed-by: jlahoda

diff -r 7c61424b94ae -r 28170236270a jdk/src/jdk.internal.le/share/classes/jdk/internal/jline/extra/EditingHistory.java
--- a/jdk/src/jdk.internal.le/share/classes/jdk/internal/jline/extra/EditingHistory.java	Sat Jun 24 02:59:17 2017 +0000
+++ b/jdk/src/jdk.internal.le/share/classes/jdk/internal/jline/extra/EditingHistory.java	Sun Jun 25 13:35:08 2017 -0700
@@ -380,7 +380,10 @@
     }
 
     public void fullHistoryReplace(String source) {
-        fullHistory.replace(source);
+        fullHistory.removeLast();
+        for (String line : source.split("\\R")) {
+            fullHistory.add(line);
+        }
     }
 
     private class NarrowingHistoryLine implements CharSequence {