public virtual void SaveElementToXml(XmlWriter xmlWriter)
{
// Output docking lement
xmlWriter.WriteStartElement(XmlElementName);
xmlWriter.WriteAttributeString("N", Name);
xmlWriter.WriteAttributeString("C", Count.ToString());
// Output an element per child
foreach (IDockingElement child in this)
child.SaveElementToXml(xmlWriter);
// Terminate the workspace element
xmlWriter.WriteFullEndElement();
}