(uri: Uri, range: Range)
| 1168 | } |
| 1169 | |
| 1170 | delete(uri: Uri, range: Range): void { |
| 1171 | const key = uri.toString(); |
| 1172 | if (!this._edits.has(key)) { |
| 1173 | this._edits.set(key, []); |
| 1174 | } |
| 1175 | this._edits.get(key)!.push(new TextEdit(range, '')); |
| 1176 | } |
| 1177 | |
| 1178 | renameFile( |
| 1179 | oldUri: Uri, |