An editor for editing text with tags