chore: bump unicode input (#636)

Author: mhuisi

lean4-unicode-input-component/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input-component",
-    "version": "0.1.4",
+    "version": "0.1.5",
     "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover",
     "scripts": {
         "watch": "tsc --watch",
@@ -14,7 +14,7 @@
     ],
     "license": "Apache-2.0",
     "dependencies": {
-        "@leanprover/unicode-input": "^0.1.4"
+        "@leanprover/unicode-input": "^0.1.5"
     },
     "devDependencies": {
         "typescript": "^5.4.5"

lean4-unicode-input/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input",
-    "version": "0.1.4",
+    "version": "0.1.5",
     "description": "Unicode input mechanism for the Lean 4 theorem prover",
     "scripts": {
         "watch": "tsc --watch",

package-lock.json

@@ -1661,8 +1661,8 @@
     "dependencies": {
         "@leanprover/infoview": "~0.8.5",
         "@leanprover/infoview-api": "~0.7.0",
-        "@leanprover/unicode-input": "~0.1.4",
-        "@leanprover/unicode-input-component": "~0.1.4",
+        "@leanprover/unicode-input": "~0.1.5",
+        "@leanprover/unicode-input-component": "~0.1.5",
         "@vscode/codicons": "^0.0.36",
         "@vscode-elements/elements": "^1.7.1",
         "markdown-it": "^14.1.0",