public string ToString() { string ret = "<FarObject position=" + position + ", type=" + type.ToString(); if (isWarpGate()) { ret += ", dest=" + destinationName; } return(ret + ">"); }