From aaf4b4b8705cb63c221a1ba6699219a815d07b94 Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Fri, 30 Aug 2024 13:52:10 -0400
Subject: [PATCH] fix selection of devices with repeating spaces in names

---
 src/kiri/init.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/kiri/init.js b/src/kiri/init.js
index 39bb0f6d..3d2bb399 100644
--- a/src/kiri/init.js
+++ b/src/kiri/init.js
@@ -1000,7 +1000,6 @@ gapp.register("kiri.init", [], (root, exports) => {
             let dev = devs[local],
                 fdmCode = dev.cmd,
                 fdmMode = (api.mode.get() === 'FDM');
-
             if (dev.mode ? (dev.mode === api.mode.get()) : (fdmCode ? fdmMode : !fdmMode)) {
                 devices.push(local);
             }
@@ -1080,11 +1079,11 @@ gapp.register("kiri.init", [], (root, exports) => {
             h.option({ _: '-- Stock Devices --', disabled: true }),
             ...list_cdev
         ]);
-        let dev_opts = [...dev_list.options].map(o => o.label);
+        let dev_opts = [...dev_list.options].map(o => o.innerText);
         dev_list.selectedIndex = dev_opts.indexOf(selected);
         dev_list.onchange = ev => {
             const seldev = dev_list.options[dev_list.selectedIndex];
-            selectDevice(seldev.label);
+            selectDevice(seldev.innerText);
             api.platform.layout();
         }
         selectDevice(selected);