summaryrefslogtreecommitdiff
path: root/packages/vscode-ide-companion/src
diff options
context:
space:
mode:
Diffstat (limited to 'packages/vscode-ide-companion/src')
-rw-r--r--packages/vscode-ide-companion/src/diff-manager.ts10
-rw-r--r--packages/vscode-ide-companion/src/extension.ts2
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) => {