A mapeditor for our games