infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-04-14 00:49:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

8182854: jshell tool: rerun multiline snippet from history corrupts history (jdk part)

Browse Source 
Jdk sub-repo part of fix for parent issue 8182489, test in parent commit (langtools)

Reviewed-by: jlahoda
This commit is contained in:
Robert Field 2017-06-25 13:35:08 -07:00
parent 55ee56a972
commit e7275ffe56
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
jdk/src/jdk.internal.le/share/classes/jdk/internal/jline/extra/EditingHistory.java
View File

@ -380,7 +380,10 @@ public abstract class EditingHistory implements History {
}
public void fullHistoryReplace(String source) {
fullHistory.replace(source);
fullHistory.removeLast();
for (String line : source.split("\\R")) {
fullHistory.add(line);
}
}
private class NarrowingHistoryLine implements CharSequence {