diff options
| author | Shreya Keshive <[email protected]> | 2025-08-07 17:25:06 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-08-07 21:25:06 +0000 |
| commit | f1663d9615edee825b4f3e077183aeb4c781361b (patch) | |
| tree | d7fbaa0a893106221d054cfbdc6890f56226f347 /packages/vscode-ide-companion/src/diff-manager.ts | |
| parent | 4d4eacfc40f87ecc991aaecc12c046d49654425c (diff) | |
README + reduce required VS Code version for companion extension (#5719)
Diffstat (limited to 'packages/vscode-ide-companion/src/diff-manager.ts')
| -rw-r--r-- | packages/vscode-ide-companion/src/diff-manager.ts | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/packages/vscode-ide-companion/src/diff-manager.ts b/packages/vscode-ide-companion/src/diff-manager.ts index 0dad03a6..d2a53b54 100644 --- a/packages/vscode-ide-companion/src/diff-manager.ts +++ b/packages/vscode-ide-companion/src/diff-manager.ts @@ -56,7 +56,7 @@ export class DiffManager { private diffDocuments = new Map<string, DiffInfo>(); constructor( - private readonly logger: vscode.OutputChannel, + private readonly log: (message: string) => void, private readonly diffContentProvider: DiffContentProvider, ) {} @@ -151,9 +151,7 @@ export class DiffManager { async acceptDiff(rightDocUri: vscode.Uri) { const diffInfo = this.diffDocuments.get(rightDocUri.toString()); if (!diffInfo) { - this.logger.appendLine( - `No diff info found for ${rightDocUri.toString()}`, - ); + this.log(`No diff info found for ${rightDocUri.toString()}`); return; } @@ -179,9 +177,7 @@ export class DiffManager { async cancelDiff(rightDocUri: vscode.Uri) { const diffInfo = this.diffDocuments.get(rightDocUri.toString()); if (!diffInfo) { - this.logger.appendLine( - `No diff info found for ${rightDocUri.toString()}`, - ); + this.log(`No diff info found for ${rightDocUri.toString()}`); // Even if we don't have diff info, we should still close the editor. await this.closeDiffEditor(rightDocUri); return; |
