-
Judah Jacobson authored
Make it a looped KeyCommand inside a single call to runInputCmdT, rather than calling runInputCmdT once for each character. This removes some noise by letting us clear the prompt before printing the key that was read. It also hopefully makes it closer to "real" results when entering multiple keys (e.g., holding them down).