Editor for DungeonCraft dungeons