internal void SetSessionData(XPathNodeIterator iter)
{
XPathNodeIterator children = iter.Current.SelectChildren (XPathNodeType.Element);
while (children.MoveNext ()) {
if (children.Current.Name == "HideFromUser")
HideFromUser = Boolean.Parse (children.Current.Value);
else if (children.Current.Name == "LoadSymbols")
LoadSymbols = Boolean.Parse (children.Current.Value);
else if (children.Current.Name == "StepInto")
StepInto = Boolean.Parse (children.Current.Value);
else
throw new InternalError ();
}
}