Fix initialData passing bug

Paper-Proof · Jul 22, 2023 · ff95640 · ff95640
1 parent 352338b
commit ff95640
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 8 deletions.
diff --git 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
diff --git a/extension/src/extension.ts b/extension/src/extension.ts
@@ -71,9 +71,7 @@ function getWebviewContent(initialInfo: object | null) {
       <title>Paperproof</title>
     </head>
     <body>
-      <script>initialInfo = ${
-        initialInfo ? JSON.stringify(initialInfo) : null
-      }</script>
+      <script>initialInfo = ${initialInfo}</script>
       <div id="root"></div>
       <script src="${SERVER_URL}/indexBrowser.js"></script>
     </body>