JDK-8241950: JShell could support auto-indent

[Robert Field]

Very cool!

One nit:

/set doesn't show indent.

    jshell> /set
    |  /set editor -default
    |  /set start -default
    |  /set feedback normal
    |
    |  Available feedback modes:
    |     concise
    |     normal
    |     silent
    |     verbose
    |
    |  To show mode settings use '/set prompt', '/set truncation', ...
    |  or use '/set mode' followed by the feedback mode name.

-Robert

On 2020-04-03 08:21, Jan Lahoda wrote:
> Hi,
>
> The recent upgrade to JLine 3.14.0 allows us to enable auto-indent, so 
> that typing a '{' and pressing enter will automatically increase the 
> indent of following lines by 4, and typing a '}' will automatically 
> decrease the indent. The indent amount is configurable using /set indent.
>
> Webrev:
> http://cr.openjdk.java.net/~jlahoda/8241950/webrev.00/
> JBS: https://bugs.openjdk.java.net/browse/JDK-8241950
>
> What do you think?
>
> Thanks,
>     Jan