Looks good. At first, I thought the order should be reversed so that a KeyboardInterrupt caused prompt.write_history to be executed, but the history is remembered, so that's not needed.
« Back to merge proposal
Looks good. At first, I thought the order should be reversed so that a KeyboardInterrupt caused prompt. write_history to be executed, but the history is remembered, so that's not needed.