diff options
Diffstat (limited to 'packages/core/src/ide/ide-client.ts')
| -rw-r--r-- | packages/core/src/ide/ide-client.ts | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/packages/core/src/ide/ide-client.ts b/packages/core/src/ide/ide-client.ts index 5ffcc2e3..6d8be7fa 100644 --- a/packages/core/src/ide/ide-client.ts +++ b/packages/core/src/ide/ide-client.ts @@ -175,7 +175,14 @@ export class IdeClient { } } - disconnect() { + async disconnect() { + if (this.state.status === IDEConnectionStatus.Disconnected) { + return; + } + for (const filePath of this.diffResponses.keys()) { + await this.closeDiff(filePath); + } + this.diffResponses.clear(); this.setState( IDEConnectionStatus.Disconnected, 'IDE integration disabled. To enable it again, run /ide enable.', |
