The interpreter widget keeps the user's last input; it should highlight last input so it can either be re-used or immediately typed over.
Log in to post a comment.