public void replace(Range range, string newText) { this.edits.Add(TextEdit.replace(range, newText)); }
public void delete(Range range) { this.edits.Add(TextEdit.del(range)); }