fix invalid z height, defunct widget annotation cleanup, invalid widget highlighting

src/kiri/main.js

@@ -1886,7 +1886,7 @@
             width = parseInt(dev.bedWidth),
             depth = parseInt(dev.bedDepth),
             height = parseFloat(dev.bedHeight),
-            parseFloat(dev.maxHeight)
+            parseFloat(dev.maxHeight || 100)
         );
         let proc = settings.process,
             ctrl = settings.controller,
@@ -2027,7 +2027,7 @@
         } else {
             forSelectedWidgets(w => {
                 w.setColor(color.selected);
-            });
+            }, true);
         }
     }
 
@@ -2980,11 +2980,11 @@
                 if (wid && anno) {
                     wid.anno = anno;
                     console.log('transfer settings annotations to widget', id);
-                    delete newset.widget[id];
                     wid.saveState();
                 } else {
                     console.log('missing widget for annotations', id);
                 }
+                delete newset.widget[id];
             }
         }
         settings = CONF.normalize(newset);

src/moto/broker.js

@@ -44,6 +44,10 @@ gapp.broker = new class Broker {
             }
             return;
         }
+        if (typeof topic !== 'string') {
+            console.trace({invalid_topic: topic});
+            return;
+        }
         let topics = this.topics;
         let channel = topics[topic];
         if (!channel) {

src/moto/space.js

@@ -288,7 +288,7 @@
         width = psize.width || 300,
         depth = psize.depth || 300,
         height = psize.height || 2.5,
-        maxz = psize.maxz
+        maxz = psize.maxz || 100
     ) {
         psize = { width, depth, height, maxz };
         if (isRound) {