From c52ee009afd8fcc6f93dcf80559096746c315bfd Mon Sep 17 00:00:00 2001
From: Stewart Allen <stewart.allen@gmail.com>
Date: Sat, 20 Jun 2020 23:05:29 -0400
Subject: [PATCH] fix a couple of bugs with custom device names and ui state

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

diff --git a/src/kiri/init.js b/src/kiri/init.js
index 08cd6bce..b0a91bb6 100644
--- a/src/kiri/init.js
+++ b/src/kiri/init.js
@@ -548,7 +548,6 @@
             let code = devices[API.mode.get_lower()][devicename];
             setDeviceCode(code, devicename);
         }
-        // $('selected-device').innerHTML = devicename;
     }
 
     // only for local filters
@@ -653,8 +652,12 @@
             current.filter[mode] = devicename;
             current.cdev[mode] = dev;
 
-            // restore last process associated with this device
-            if (dproc) API.conf.load(null, dproc);
+            if (dproc) {
+                // restore last process associated with this device
+                API.conf.load(null, dproc);
+            } else {
+                API.conf.update();
+            }
 
             API.conf.save();
         } catch (e) {
@@ -677,6 +680,7 @@
             delete devs[selected];
             UI.deviceSave.onclick();
             selectDevice(newname);
+            updateDeviceList();
         }
     }