Comment 1 for bug 397227

Revision history for this message
Fernando Perez (fdo.perez) wrote :

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.