From ff956404eebe948f3d033acb624a269384c1ca69 Mon Sep 17 00:00:00 2001 From: Anton Kovsharov Date: Sat, 22 Jul 2023 19:15:37 +0100 Subject: [PATCH] Fix initialData passing bug --- app/src/indexBrowser.tsx | 8 +++----- extension/paperproof-0.0.5.vsix | Bin 33095 -> 33083 bytes extension/src/extension.ts | 4 +--- 3 files changed, 4 insertions(+), 8 deletions(-) diff --git a/app/src/indexBrowser.tsx b/app/src/indexBrowser.tsx index abd4a5e..020f20d 100644 --- a/app/src/indexBrowser.tsx +++ b/app/src/indexBrowser.tsx @@ -15,13 +15,11 @@ import { useInterval } from "usehooks-ts"; interface PaperProofWindow extends Window { sessionId: string | null; - initialInfo: string | null; + initialInfo: any | null; } declare const window: PaperProofWindow; -const BASE_URL = "https://paperproof.xyz"; - // TODO: We should use the vscode font for consistency with Lean probably // const fontFamily = 'Menlo, Monaco, "Courier New", monospace;' @@ -122,7 +120,7 @@ function Main() { // It runs as an extension return; } - fetch(`${BASE_URL}/getTypes?sessionId=${sessionId}`) + fetch(`/getTypes?sessionId=${sessionId}`) .then((response) => response.json()) .then((newResponse) => { if (apiResponse && newResponse.id === apiResponse.id) return; @@ -158,7 +156,7 @@ function Main() { } if (window.initialInfo) { const newResponse: ApiResponse = { - ...JSON.parse(window.initialInfo), + ...window.initialInfo, id: BY_POST_MESSAGE, }; updateUi(app, newResponse, apiResponse); diff --git a/extension/paperproof-0.0.5.vsix b/extension/paperproof-0.0.5.vsix index a3d0d3cb2574ffd17acd4c400604176bc04d880b..5a8036cd9ad5ef073cccb49db0cb6ff414d47d62 100644 GIT binary patch delta 483 zcmX@!#I(DKi6_9DnMH(wfrEpAZPrE}Ze}L7S(7E1e*me?!YnZ&Osumu7fNWv*Dr4t z37+WtvsBW4tD-lhq0#wX4n z4Ym+qwJc;@?5(-6t98R}ce&2#mCdaq+ocS=a#;)xdiZAs1lI1;;szf8P;V9pk$TU^$w?jG|Da&xx% zd@t6RAy$_E{)^JOg6ZBWYsz&K60aye*me?!YnZ&Oia@^7fNWvX9~Z+ z;Lon9rZW4Jv~gXO>i73Q?P`R>SJuARd(hr0|HpdEYgKc6)6z57zxlW3|BH9ADT;eD zC(Q3&UZBHO^pvS=x==Fj=ai_VKn@FO^_4EWzdJmer@DBe$IMvInSQnt8$Pl8*cKV! zmRFiP`Cqwo{YpO;rU~w;5nOj#{_xfxyem>(aw*Yoe$dZT6ZI|R=6U$1KIqufof6Ww zc%p@WTT=5sj>N^nU#8qYaAu3rEiUU-caM1nxjEbXyccWC5Uap{|3ztC!E|qxHRZYq z@(S6>QDR%B@jtDoI9j5#Agp2iS#$jx7x?FQ)|-K2P~4MvyHEs z>+NfnZg4pnv$M|M^5~&||G5La**Vt98>;#yFfiQO{H9_ND3~`-sF7s?1^4eu70v~Llo2Riph-Cm5N1GtEsYZ<^Eaxot*rxz0RSp`&Vm2{ diff --git a/extension/src/extension.ts b/extension/src/extension.ts index de2cbb3..87023e9 100644 --- a/extension/src/extension.ts +++ b/extension/src/extension.ts @@ -71,9 +71,7 @@ function getWebviewContent(initialInfo: object | null) { Paperproof - +