wesnoth-editor: work from Pepe, Jorge Cardenas, and me.