We all kind of agreed this would be better some time ago. I suspect that @Keno never implemented this because he has his REPL configured so it's already the case, but we should make it the default for everyone.
Could you explain what it means for a mode to be "sticky" in the context of the REPL? Sorry, I'm not familiar with the terminology.
Sticky means that after you evaluate something in a mode, your next prompt is in the same mode.
I'm not sure I'd want that for help mode.
Only the shell mode. I agree it's not what you want for help mode.
Fair enough. Can we have a default stickiness map where shell mode defaults to sticky?
I often find myself wishing that help modes are not part of the command history, but I suspect most people are fine with this behavior though.
I think help mode been sticky too would be consistent and not so inconvenient.
Here come some arguments:
help <name>
but this cannot be considered as a mode.The filtering of the command history could be solved by ? UP-ARROW
for only help history, ! UP-ARRoW
for shell history and so on... while skipping them on the usual history.
I actually think I would prefer having help mode be sticky as well and this is probably a more noobie-friendly default to be consistently sticky.
I tried having all modes be sticky for a few weeks, and it really just drove me crazy. I think it may sense with shell mode, but I found myself stumbling almost every time I wanted to go back to the normal prompt after using help mode.
It might be nice to have this easily configurable per-mode on master for a bit, so that people can try various stickiness combinations and see how they work in practice (e.g. sticky on shell mode only). I had thought I was going to like having everything be sticky, but I did not in the end.
maybe should tie into https://github.com/JuliaLang/julia/issues/14081, have a stickiness modifier as part of a switcher menu
Most helpful comment
I actually think I would prefer having help mode be sticky as well and this is probably a more noobie-friendly default to be consistently sticky.