public void ResetDocument(int version, string content) { lock (_buffers) { _buffers.Clear(); _buffers[0] = new DocumentBuffer(); _buffers[0].Reset(version, content); } }
public void ResetDocument(int version, string content) { lock (_buffers) { _buffers.Clear(); _buffers[0] = new DocumentBuffer(); _buffers[0].Reset(version, content); SetCurrentParse(Tree, null, false); } }
public void UpdateDocument(int part, DocumentChangeSet changes) { lock (_buffers) { if (!_buffers.TryGetValue(part, out var buffer)) { _buffers[part] = buffer = new DocumentBuffer(); } buffer.Update(changes); } }
public void UpdateDocument(int part, DocumentChangeSet changes) { lock (_buffers) { if (!_buffers.TryGetValue(part, out var buffer)) { _buffers[part] = buffer = new DocumentBuffer(); } int versionBefore = buffer.Version; buffer.Update(changes); // Reset the current cookie if the version did not increase if (buffer.Version <= versionBefore) { SetCurrentParse(Tree, null, false); } } }