(uri: Uri, edits: TextEdit[])
| 1188 | } |
| 1189 | |
| 1190 | set(uri: Uri, edits: TextEdit[]): void { |
| 1191 | const key = uri.toString(); |
| 1192 | if (!this._edits.has(key)) { |
| 1193 | this._edits.set(key, []); |
| 1194 | } |
| 1195 | this._edits.get(key)!.push(...edits); |
| 1196 | } |
| 1197 | |
| 1198 | get(uri: Uri): TextEdit[] | undefined { |
| 1199 | const key = uri.toString(); |