prevent multiple image loads

src/kiri/init.js

@@ -46,7 +46,8 @@
         platform = API.platform,
         selection = API.selection;
 
-    let deviceImage = null,
+    let deviceURL = null,
+        deviceImage = null,
         deviceLock = false,
         selectedTool = null,
         editTools = null,
@@ -735,11 +736,28 @@
 
             API.conf.save();
 
-            if (deviceImage) {
+            if (dev.imageURL) {
+                if (dev.imageURL !== deviceURL) {
+                    deviceURL = dev.imageURL;
+                    loadDeviceImage(dev);
+                }
+            } else if (deviceImage) {
                 SPACE.world.remove(deviceImage);
                 deviceImage = null;
+                deviceURL = null;
             }
-            if (dev.imageURL) {
+        } catch (e) {
+            console.log({error:e, device:code, devicename});
+            API.show.alert(`invalid or deprecated device: "${devicename}"`, 10);
+            API.show.alert(`please select a new device`, 10);
+            throw e;
+            showDevices();
+        }
+        API.function.clear();
+        API.event.settings();
+    }
+
+    function loadDeviceImage(dev) {
         new THREE.TextureLoader().load(dev.imageURL, texture => {
             if (deviceImage) {
                 SPACE.world.remove(deviceImage);
@@ -764,16 +782,6 @@
             SPACE.world.add(deviceImage = mesh);
         });
     }
-        } catch (e) {
-            console.log({error:e, device:code, devicename});
-            API.show.alert(`invalid or deprecated device: "${devicename}"`, 10);
-            API.show.alert(`please select a new device`, 10);
-            throw e;
-            showDevices();
-        }
-        API.function.clear();
-        API.event.settings();
-    }
 
     function updateDeviceName() {
         let newname = UI.deviceName.value,