I think it could still be `EditorTab` here.