Redo button in map editor

After losing a large border I made, I now have some more motivation to request a redo button just like we have an undo button.