made further refinements to EditorTagManager