From f2669c754d9ffe5929dcccc080eafd11d7d26b7d Mon Sep 17 00:00:00 2001 From: BHAKTISHAH Date: Sat, 25 Mar 2023 21:58:12 -0500 Subject: [PATCH 1/2] added code so goals can be passed to the vizx extension when it is active. vizx is at https://marketplace.visualstudio.com/items?itemName=inQWIRE.vizx --- editor/code/src/goals.ts | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/editor/code/src/goals.ts b/editor/code/src/goals.ts index c688f7cfa..7a1ebffb6 100644 --- a/editor/code/src/goals.ts +++ b/editor/code/src/goals.ts @@ -1,4 +1,4 @@ -import { Position, Uri, WebviewPanel, window, ViewColumn } from "vscode"; +import { Position, Uri, WebviewPanel, window, ViewColumn, extensions, commands } from "vscode"; import { BaseLanguageClient, RequestType, @@ -78,6 +78,10 @@ export class InfoPanel { // notify the info panel that we have fresh goals to render requestDisplay(goals: GoalAnswer) { this.postMessage("renderGoals", goals); + let vizx = extensions.getExtension("inQWIRE.vizx"); + if (vizx?.isActive) { + commands.executeCommand("vizx.lspRender", goals); + } } // notify the info panel that we found an error @@ -89,6 +93,7 @@ export class InfoPanel { sendGoalsRequest(client: BaseLanguageClient, params: GoalRequest) { this.requestSent(params); client.sendRequest(infoReq, params).then( + // send message to vyzx here (goals) => this.requestDisplay(goals), (reason) => this.requestError(reason) ); From 5b5a9acd272a39762c2da41c2b9e3418b3ec5b0f Mon Sep 17 00:00:00 2001 From: BHAKTISHAH Date: Sat, 25 Mar 2023 22:02:10 -0500 Subject: [PATCH 2/2] removed comment --- editor/code/src/goals.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/editor/code/src/goals.ts b/editor/code/src/goals.ts index 7a1ebffb6..bdf4f7be1 100644 --- a/editor/code/src/goals.ts +++ b/editor/code/src/goals.ts @@ -93,7 +93,6 @@ export class InfoPanel { sendGoalsRequest(client: BaseLanguageClient, params: GoalRequest) { this.requestSent(params); client.sendRequest(infoReq, params).then( - // send message to vyzx here (goals) => this.requestDisplay(goals), (reason) => this.requestError(reason) );