Input widget: update the slider position when updating a value using the edit box.

Author: agarny

package.json

@@ -23,7 +23,7 @@
     "url": "git+https://github.com/opencor/webapp.git"
   },
   "type": "module",
-  "version": "0.20250713.0",
+  "version": "0.20250714.0",
   "pnpm": {
     "onlyBuiltDependencies": [
       "@tailwindcss/oxide",

src/renderer/package.json

@@ -16,7 +16,7 @@
     "url": "git+https://github.com/opencor/webapp.git"
   },
   "type": "module",
-  "version": "0.20250713.0",
+  "version": "0.20250714.0",
   "devDependencies": {
     "@primeuix/themes": "^1.2.1",
     "@primevue/auto-import-resolver": "^4.3.6",

src/renderer/src/components/widgets/InputWidget.vue

@@ -65,6 +65,7 @@ function emitChange(newValue: number) {
     value.value = newValue
 
     if (props.possibleValues === undefined) {
+      scalarValue.value = newValue
       scalarValueString.value = String(newValue) // This will properly format the input text.
     }