From 7bdeedaa2672cbd384350cf6af5f08fc637b69d6 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Sun, 12 Jan 2025 17:31:44 +0100
Subject: [PATCH] chore: bump infoview and infoview-api versions

---
 lean4-infoview-api/package.json |  2 +-
 lean4-infoview/package.json     |  8 ++++----
 package-lock.json               | 26 ++++++++++++++++++++------
 vscode-lean4/package.json       |  4 ++--
 4 files changed, 27 insertions(+), 13 deletions(-)

diff --git a/lean4-infoview-api/package.json b/lean4-infoview-api/package.json
index 87984dd7a..ee7de8d19 100644
--- a/lean4-infoview-api/package.json
+++ b/lean4-infoview-api/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview-api",
-    "version": "0.4.0",
+    "version": "0.5.0",
     "description": "Types and API for @leanprover/infoview.",
     "scripts": {
         "watch": "tsc --watch",
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
index 4c56a609a..b2e81df97 100644
--- a/lean4-infoview/package.json
+++ b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.10",
+    "version": "0.8.0",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",
@@ -10,11 +10,11 @@
     },
     "exports": {
         ".": {
-            "default": "./dist/index.production.min.js",
+            "default": "./dist/index.development.js",
             "types": "./dist/index.d.ts"
         },
         "./loader": {
-            "default": "./dist/loader.production.min.js",
+            "default": "./dist/loader.development.js",
             "types": "./dist/loader.d.ts"
         },
         "./package.json": "./package.json"
@@ -49,7 +49,7 @@
         "typescript": "^5.4.5"
     },
     "dependencies": {
-        "@leanprover/infoview-api": "~0.4.0",
+        "@leanprover/infoview-api": "~0.5.0",
         "@vscode/codicons": "^0.0.32",
         "@vscode-elements/react-elements": "^0.5.0",
         "es-module-lexer": "^1.5.4",
diff --git a/package-lock.json b/package-lock.json
index ac2c7baca..2606985e8 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -28,10 +28,10 @@
         },
         "lean4-infoview": {
             "name": "@leanprover/infoview",
-            "version": "0.7.10",
+            "version": "0.8.0",
             "license": "Apache-2.0",
             "dependencies": {
-                "@leanprover/infoview-api": "~0.4.0",
+                "@leanprover/infoview-api": "~0.5.0",
                 "@vscode-elements/react-elements": "^0.5.0",
                 "@vscode/codicons": "^0.0.32",
                 "es-module-lexer": "^1.5.4",
@@ -67,7 +67,7 @@
         },
         "lean4-infoview-api": {
             "name": "@leanprover/infoview-api",
-            "version": "0.4.0",
+            "version": "0.5.0",
             "license": "Apache-2.0",
             "devDependencies": {
                 "typescript": "^5.4.5",
@@ -5647,6 +5647,13 @@
                 "vscode-languageserver-protocol": "^3.17.3"
             }
         },
+        "node_modules/current-release/node_modules/@leanprover/infoview-api": {
+            "version": "0.4.0",
+            "resolved": "https://registry.npmjs.org/@leanprover/infoview-api/-/infoview-api-0.4.0.tgz",
+            "integrity": "sha512-g9Eo2DGd2m3QsEjMdREUFzfGY1Ya6keLf49hUHEONFfIBAa4/a0CGapPz9uci/0oFnE4yXt//KpmBRfLSYxRzg==",
+            "dev": true,
+            "license": "Apache-2.0"
+        },
         "node_modules/dargs": {
             "version": "7.0.0",
             "resolved": "https://registry.npmjs.org/dargs/-/dargs-7.0.0.tgz",
@@ -17015,11 +17022,11 @@
         },
         "vscode-lean4": {
             "name": "lean4",
-            "version": "0.0.186",
+            "version": "0.0.187",
             "license": "Apache-2.0",
             "dependencies": {
-                "@leanprover/infoview": "~0.7.0",
-                "@leanprover/infoview-api": "~0.4.0",
+                "@leanprover/infoview": "~0.8.0",
+                "@leanprover/infoview-api": "~0.5.0",
                 "@leanprover/unicode-input": "~0.1.0",
                 "@leanprover/unicode-input-component": "~0.1.0",
                 "@vscode-elements/elements": "^1.7.1",
@@ -17055,6 +17062,13 @@
                 "vscode": "^1.75.0"
             }
         },
+        "vscode-lean4/node_modules/@leanprover/infoview/node_modules/@vscode/codicons": {
+            "version": "0.0.32",
+            "resolved": "https://registry.npmjs.org/@vscode/codicons/-/codicons-0.0.32.tgz",
+            "integrity": "sha512-3lgSTWhAzzWN/EPURoY4ZDBEA80OPmnaknNujA3qnI4Iu7AONWd9xF3iE4L+4prIe8E3TUnLQ4pxoaFTEEZNwg==",
+            "extraneous": true,
+            "license": "CC-BY-4.0"
+        },
         "vscode-lean4/node_modules/@vscode/codicons": {
             "version": "0.0.36",
             "resolved": "https://registry.npmjs.org/@vscode/codicons/-/codicons-0.0.36.tgz",
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 022e45c56..dc0c57946 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -1069,8 +1069,8 @@
         "test": "node ./out/test/suite/runTest.js"
     },
     "dependencies": {
-        "@leanprover/infoview": "~0.7.0",
-        "@leanprover/infoview-api": "~0.4.0",
+        "@leanprover/infoview": "~0.8.0",
+        "@leanprover/infoview-api": "~0.5.0",
         "@leanprover/unicode-input": "~0.1.0",
         "@leanprover/unicode-input-component": "~0.1.0",
         "@vscode/codicons": "^0.0.36",