diff options
Diffstat (limited to 'packages/vscode-ide-companion/src')
| -rw-r--r-- | packages/vscode-ide-companion/src/diff-manager.ts | 10 | ||||
| -rw-r--r-- | packages/vscode-ide-companion/src/extension.ts | 2 |
2 files changed, 4 insertions, 8 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; diff --git a/packages/vscode-ide-companion/src/extension.ts b/packages/vscode-ide-companion/src/extension.ts index 08389731..18217140 100644 --- a/packages/vscode-ide-companion/src/extension.ts +++ b/packages/vscode-ide-companion/src/extension.ts @@ -42,7 +42,7 @@ export async function activate(context: vscode.ExtensionContext) { updateWorkspacePath(context); const diffContentProvider = new DiffContentProvider(); - const diffManager = new DiffManager(logger, diffContentProvider); + const diffManager = new DiffManager(log, diffContentProvider); context.subscriptions.push( vscode.workspace.onDidCloseTextDocument((doc) => { |
