An editor