diff --git a/editor/code/views/info/Info.tsx b/editor/code/views/info/Info.tsx index 0629e52b..6d8c793a 100644 --- a/editor/code/views/info/Info.tsx +++ b/editor/code/views/info/Info.tsx @@ -15,6 +15,16 @@ function doWaitingForInfo(info: GoalRequest) { console.log("doWaitingForInfo", info); } +export function buildInfoWaiting(info: GoalRequest) { + let uri = info.textDocument.uri.split("/").at(-1); + let line = info.position.line + 1; + let character = info.position.character + 1; + return `
+ ${uri}:${line}:${character} + Waiting for document information, thanks for your patience +
`; +} + function doInfoError(e: any) { console.log("doInfoError", e); }