// Это надо для нормальной сериализации синглтона
public object GetRealObject(StreamingContext context)
{
TokensCollector realObject = GetInstance();
realObject.Merge(this);
return(realObject);
}
private void Merge(TokensCollector otherInstance)
{
////otherInstance.history = this.history;
//foreach (var h in otherInstance.history)
//{
// this.history.Add(h);
//}
this.history = otherInstance.history;
}