public void WriteXml(System.Xml.XmlElement element)
{
element.WriteChildListXml(servers, "server", "servers");
element.WriteChildListXml(highlights, "highlight", "highlights");
if (this.BadgeDisplay != BadgeDisplayMode.Highlighted)
{
element.SetAttribute("badgeDisplay", this.BadgeDisplay);
}
if (this.UseMetroTheme)
{
element.SetAttribute("useMetroTheme", this.UseMetroTheme);
}
}
