Some map editor suggestions

Its not that easy to forget to save your map after editing, but I have occasionally felt the pain of having to redraw borders.
So I suggest we add an option to the menu when exiting the map editor saying "save first"
Example (pardon me for bad SS but it gets the point across...):

Not extremely necessary but doesn't seem hard to add and could be nice.
I also suggest adding a redo button, we have undo, why not redo?

Totally support

Support. Redo button is a must have tool!