chore: bump @leanprover/unicode-input to 0.1.9 (#730)

github-actions[bot] · web-flow · commit 73398878b022 · 2026-03-07T00:45:51.000+01:00
Automated version bump of `@leanprover/unicode-input` to `0.1.9`.

Co-authored-by: github-actions[bot] &lt;github-actions[bot]@users.noreply.github.com&gt;
diff --git 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.1.8",
+    "version": "0.1.9",
     "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover",
     "repository": "github:leanprover/vscode-lean4",
     "scripts": {
@@ -15,7 +15,7 @@
     ],
     "license": "Apache-2.0",
     "dependencies": {
-        "@leanprover/unicode-input": "^0.1.8"
+        "@leanprover/unicode-input": "^0.1.9"
     },
     "devDependencies": {
         "typescript": "^5.4.5"
diff --git a/lean4-unicode-input/package.json b/lean4-unicode-input/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input",
-    "version": "0.1.8",
+    "version": "0.1.9",
     "description": "Unicode input mechanism for the Lean 4 theorem prover",
     "repository": "github:leanprover/vscode-lean4",
     "scripts": {
diff --git a/package-lock.json b/package-lock.json
diff --git a/vscode-lean4/package.json b/vscode-lean4/package.json
@@ -1780,8 +1780,8 @@
     "dependencies": {
         "@leanprover/infoview": "~0.11.1",
         "@leanprover/infoview-api": "~0.11.0",
-        "@leanprover/unicode-input": "~0.1.8",
-        "@leanprover/unicode-input-component": "~0.1.8",
+        "@leanprover/unicode-input": "~0.1.9",
+        "@leanprover/unicode-input-component": "~0.1.9",
         "@vscode/codicons": "^0.0.36",
         "@vscode-elements/elements": "^1.7.1",
         "markdown-it": "^14.1.0",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "@leanprover/unicode-input",`
`3`		`- "version": "0.1.8",`
	`3`	`+ "version": "0.1.9",`
`4`	`4`	`"description": "Unicode input mechanism for the Lean 4 theorem prover",`
`5`	`5`	`"repository": "github:leanprover/vscode-lean4",`
`6`	`6`	`"scripts": {`