The history of commands could be made more advanced: duplicates could be ignored, it could be saved between sessions (in a cookie or on the server). Of course one should also be able to clear it on demand.
Log in to post a comment.
