RFR 8157200: jshell tool: Add /retain command to persist settings

[Brian Goetz]

Perhaps /reset xxx would be a way to set back to the default?

On 5/20/2016 7:43 AM, Jan Lahoda wrote:
> Hi Robert,
>
> Overall, seems OK to me. But I have a question: there appears to be no 
> way to un-retain stuff like modes or editor - should there be a way to 
> un-retain those?
>
> Thanks,
>    Jan
>
> On 20.5.2016 05:57, Robert Field wrote:
>> Please review...
>>
>> Bugs:
>>          8157200: jshell tool: Add /retain command to persist settings
>>          https://bugs.openjdk.java.net/browse/JDK-8157200
>>
>>          8156910: jshell tool: crash when code with syntax error
>> contains format specifier
>>          https://bugs.openjdk.java.net/browse/JDK-8156910
>>
>> Webrev:
>>          http://cr.openjdk.java.net/~rfield/8157200v0.webrev/
>>
>> Thanks,
>> Robert
>>