Change command history from Vector to something like a HashMap #95
Description
Commands already in history should not be inserted again. Instead these commands should just be pushed to the 'top' entry in history.
{{ message }}
Commands already in history should not be inserted again. Instead these commands should just be pushed to the 'top' entry in history.