void ReadWidget(XmlTextReader reader)
{
WidgetInfo w = new WidgetInfo (this, reader.GetAttribute ("id"), reader.GetAttribute ("class"));
widgets.Add (w);
if (reader.IsEmptyElement) {
reader.Skip ();
return;
}
reader.ReadStartElement ();
reader.MoveToContent ();
while (reader.NodeType != XmlNodeType.EndElement) {
if (reader.NodeType == XmlNodeType.Element && reader.LocalName == "action-group") {
w.AddGroup (reader.GetAttribute ("name"));
}
reader.Skip ();
reader.MoveToContent ();
}
reader.ReadEndElement ();
}