* Add a delete edit for a range * * @param uri - The document URI * @param range - The range to delete
(uri: { toString(): string }, range: IRange)
| 151 | * @param range - The range to delete |
| 152 | */ |
| 153 | delete(uri: { toString(): string }, range: IRange): void { |
| 154 | const key = uri.toString() |
| 155 | if (!this._edits.has(key)) { |
| 156 | this._edits.set(key, []) |
| 157 | } |
| 158 | this._edits.get(key)!.push(TextEdit.delete(range)) |
| 159 | } |
| 160 | |
| 161 | /** |
| 162 | * Add an insert edit |