-
Enhancement
-
Resolution: Fixed
-
P4
-
9
-
b09
Paul Deitel writes --
It would be nice to be able to re-execute a range of snippets with
/#-#
so,
/1-3
would re-execute snippets 1, 2 and 3. Or, if snippet 2 had been dropped, it would re-execute snippets 1 and 3.
Robert writes --
Additionally, being able to specify a sequence of snippets and ranges of snippets would be even more powerful:
/4 7-9 3 12-20
It would be nice to be able to re-execute a range of snippets with
/#-#
so,
/1-3
would re-execute snippets 1, 2 and 3. Or, if snippet 2 had been dropped, it would re-execute snippets 1 and 3.
Robert writes --
Additionally, being able to specify a sequence of snippets and ranges of snippets would be even more powerful:
/4 7-9 3 12-20
- relates to
-
JDK-8192847 DOC: jshell Tool Reference -- snippet ranges
-
- Resolved
-