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); } }