changeset 43773 | 8d8593871575 |
parent 43583 | d16e490ec827 |
child 44188 | 3f2047e62102 |
--- a/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ConsoleIOContext.java Mon Feb 13 09:37:26 2017 +0100 +++ b/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ConsoleIOContext.java Mon Feb 13 11:57:56 2017 +0100 @@ -310,6 +310,8 @@ int firstLine = 0; PRINT_PAGE: while (true) { + in.print(lastNote.replaceAll(".", " ") + ConsoleReader.RESET_LINE); + int toPrint = height - 1; while (toPrint > 0 && firstLine < lines.length) {