summaryrefslogtreecommitdiff
path: root/packages/vscode-ide-companion/src/diff-manager.ts
diff options
context:
space:
mode:
authorShreya Keshive <[email protected]>2025-08-07 17:25:06 -0400
committerGitHub <[email protected]>2025-08-07 21:25:06 +0000
commitf1663d9615edee825b4f3e077183aeb4c781361b (patch)
treed7fbaa0a893106221d054cfbdc6890f56226f347 /packages/vscode-ide-companion/src/diff-manager.ts
parent4d4eacfc40f87ecc991aaecc12c046d49654425c (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.ts10
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;