Redo functionality added, it is mapped to CTRL+E. This commit includes the joined work of me and Leo.