We have done more functionality in the map editor:

	Remove one ship.
	Exit from map editor.