fixup for some workspace imports with widgets missing fields

src/kiri/platform.js

@@ -390,6 +390,7 @@ let deferTimeout;
 function platformAdd(widget, shift, nolayout, defer) {
     api.widgets.add(widget);
     space.world.add(widget.mesh);
+    widget.anno = widget.anno || {};
     widget.anno.extruder = widget.anno.extruder || 0;
     if (defer) {
         deferred.push({widget, shift, nolayout});