Tagged diagram-editor