An editor for image annotation