make sure designer is notified when designElement is properly round-tripped.