Command-prompt line editing