* Add an insert edit * * @param uri - The document URI * @param position - The position to insert at * @param newText - The text to insert
(uri: { toString(): string }, position: IPosition, newText: string)
| 166 | * @param newText - The text to insert |
| 167 | */ |
| 168 | insert(uri: { toString(): string }, position: IPosition, newText: string): void { |
| 169 | const key = uri.toString() |
| 170 | if (!this._edits.has(key)) { |
| 171 | this._edits.set(key, []) |
| 172 | } |
| 173 | this._edits.get(key)!.push(TextEdit.insert(position, newText)) |
| 174 | } |
| 175 | |
| 176 | /** |
| 177 | * Add a replace edit |