A map editor tailored for MERCury