public override string ToString()
{
return String.Format ("{0} ({1}:{2}:{3}:{4}:{5}{6})", GetType (), id, name,
HideFromUser ? "hide" : "nohide",
LoadSymbols ? "load" : "noload",
StepInto ? "step" : "nostep", MyToString ());
}