Thu, 20 Apr 2017 18:40:38 +0200 | jlahoda | 8178821: jshell tool: ctrl-down does nothing in current context | file | diff | annotate |
Thu, 06 Apr 2017 16:17:03 +0200 | jlahoda | 8178077: jshell tool: crash on ctrl-up or ctrl-down | file | diff | annotate |
Thu, 29 Sep 2016 17:36:26 +0900 | shinyafox | 8166744: JShell: java.lang.IndexOutOfBoundsException for legal history access | file | diff | annotate |
Wed, 08 Jun 2016 15:50:11 +0200 | hannesw | 8159031: jjs throws NoSuchFileException if ~/.jjs.history does not exist | file | diff | annotate |
Wed, 18 May 2016 21:00:33 +0200 | jlahoda | 8133549: Generalize jshell's EditingHistory | file | diff | annotate |