void IBuffer.DeserializeState(Stream stream)
{
try
{
DocumentBufferSerializer.Deserialize(this, stream);
}
catch
{
App.Ext.Log($"Unable to deserialize buffer state: {File}", EntryType.Error);
}
}
void IBuffer.SerializeState(Stream stream)
{
while (Editors.Count > 0)
{
Editors[0].DetachBuffer();
}
try
{
DocumentBufferSerializer.Serialize(this, stream);
}
catch
{
App.Ext.Log($"Unable to serialize buffer state: {File}", EntryType.Error);
}
}
