Good idea. It's easier to do in a GUI, where the help can be popped up in a non-obtrusive manner.
But for a terminal, we should look at the %rep code which already puts user input back into a line, and use that same mechanism.
Good idea. It's easier to do in a GUI, where the help can be popped up in a non-obtrusive manner.
But for a terminal, we should look at the %rep code which already puts user input back into a line, and use that same mechanism.