UI review: jshell commands
Paul Sandoz
paul.sandoz at oracle.com
Wed Jul 1 15:14:47 UTC 2015
On Jun 29, 2015, at 8:40 PM, Robert Field <robert.field at oracle.com> wrote:
>>
>> 2. I recommend we drop the one-letter shortcuts, for several reasons:
>>
>> - Such tricks always cause evolution problems. One day, we'll add a new command whose first letter conflicts with that of an existing command, and which arguably has a superior claim to that short form.
>>
>> - Tab-completion works against / commands. So users looking to save keystrokes can use tab completion; the one-letter version now saves only the tab keystroke.
>>
>> - The commands are not that frequently typed, compared to evaluating expressions. So the extra keystroke savings (especially given tab completion) are not worth it.
>>
>> In short, I don't think they pull their weight.
>
> Makes sense
> And I use the shortcuts — well, a few of them.
> Would love other’s thoughts.
>
I don't mind longer names with tab completion. The history commands, probably the most common kind of command, are appropriately short.
>>
>> 3. I don't think we ever came to consensus on /edit. Right now, the popup editor says "experimental"; did we declare success or failure on this experiment? I thought we were leaning towards dropping it.
>
> Right, no closure on the default simple window.
> Other’s thoughts?
>
When i typed /edit i got a "nice" surprise, one that i did not really appreciate :-) as i was expecting the current line to be populated with the source (e.g. the result of pressing up-arrow X times), rather than an AWT window popping up with that source.
Paul.
More information about the kulla-dev
mailing list