From b71e1f4dd77e7bc85698ebbdf3e74a1e8d017ffc Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 29 Jul 2026 08:29:54 +0000
Subject: [PATCH] chore: bump @leanprover/unicode-input to 0.1.12

---
 lean4-unicode-input-component/package.json |  4 ++--
 lean4-unicode-input/package.json           |  2 +-
 package-lock.json                          | 10 +++++-----
 vscode-lean4/package.json                  |  4 ++--
 4 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/lean4-unicode-input-component/package.json b/lean4-unicode-input-component/package.json
index 5dc6beb1..efd3cab4 100644
--- a/lean4-unicode-input-component/package.json
+++ b/lean4-unicode-input-component/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input-component",
-    "version": "0.2.2",
+    "version": "0.2.3",
     "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover",
     "repository": {
         "type": "git",
@@ -19,7 +19,7 @@
     ],
     "license": "Apache-2.0",
     "dependencies": {
-        "@leanprover/unicode-input": "^0.1.11"
+        "@leanprover/unicode-input": "^0.1.12"
     },
     "devDependencies": {
         "typescript": "^5.4.5"
diff --git a/lean4-unicode-input/package.json b/lean4-unicode-input/package.json
index 1414731c..810155c4 100644
--- a/lean4-unicode-input/package.json
+++ b/lean4-unicode-input/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input",
-    "version": "0.1.11",
+    "version": "0.1.12",
     "description": "Unicode input mechanism for the Lean 4 theorem prover",
     "repository": {
         "type": "git",
diff --git a/package-lock.json b/package-lock.json
index 2d747290..1f93e8db 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -77,7 +77,7 @@
         },
         "lean4-unicode-input": {
             "name": "@leanprover/unicode-input",
-            "version": "0.1.11",
+            "version": "0.1.12",
             "license": "Apache-2.0",
             "devDependencies": {
                 "typescript": "^5.4.5"
@@ -85,10 +85,10 @@
         },
         "lean4-unicode-input-component": {
             "name": "@leanprover/unicode-input-component",
-            "version": "0.2.2",
+            "version": "0.2.3",
             "license": "Apache-2.0",
             "dependencies": {
-                "@leanprover/unicode-input": "^0.1.11"
+                "@leanprover/unicode-input": "^0.1.12"
             },
             "devDependencies": {
                 "typescript": "^5.4.5"
@@ -11799,8 +11799,8 @@
             "dependencies": {
                 "@leanprover/infoview": "~0.13.0",
                 "@leanprover/infoview-api": "~0.13.0",
-                "@leanprover/unicode-input": "~0.1.11",
-                "@leanprover/unicode-input-component": "~0.2.2",
+                "@leanprover/unicode-input": "~0.1.12",
+                "@leanprover/unicode-input-component": "~0.2.3",
                 "@vscode-elements/elements": "^1.7.1",
                 "@vscode/codicons": "^0.0.36",
                 "markdown-it": "^14.1.0",
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
index 4a9b21c6..24b718aa 100644
--- a/vscode-lean4/package.json
+++ b/vscode-lean4/package.json
@@ -1856,8 +1856,8 @@
     "dependencies": {
         "@leanprover/infoview": "~0.13.0",
         "@leanprover/infoview-api": "~0.13.0",
-        "@leanprover/unicode-input": "~0.1.11",
-        "@leanprover/unicode-input-component": "~0.2.2",
+        "@leanprover/unicode-input": "~0.1.12",
+        "@leanprover/unicode-input-component": "~0.2.3",
         "@vscode/codicons": "^0.0.36",
         "@vscode-elements/elements": "^1.7.1",
         "markdown-it": "^14.1.0",