Yeah, I was thinking it might be nice to change the command_prompt without resetting the command_text field. It's rather annoying for that to reset when you're one of the people who use that command line often.

Hiead