add area to travel bounds, pump shadow for annealing, add input select post to allow name updates

src/kiri/core/ui.js

@@ -752,6 +752,9 @@ function newSelect(label, options = {}, source) {
         if (options.trigger) {
             refresh();
         }
+        if (options.post) {
+            options.post();
+        }
     };
     ip.onclick = (ev) => {
         groupSticky = true;

src/kiri/core/widget.js

@@ -946,6 +946,11 @@ class Widget {
         });
         polys = POLY.union(polys, 0, true);
 
+        // for a more perfect union, pump shadows to merge very close lines
+        // todo: create clipper only version that avoids round trip thru geo classes
+        polys = POLY.offset(polys, 0.01);
+        polys = POLY.offset(polys, -0.01);
+
         return polys;
     }
 }