highlight and update extruder selection for widget

2020-04-10 13:43:02 -04:00 · 2020-04-10 13:43:02 -04:00 · af66eff5cd
commit af66eff5cd
parent 9a6a861fc4
2 changed files with 15 additions and 0 deletions
--- a/js/kiri-init.js
+++ b/js/kiri-init.js
@ -549,9 +549,11 @@ var gs_kiri_init = exports;
                for (let i=dev.extruders.length-1; i>=0; i--) {
                    let b = DOC.createElement('button');
                    b.appendChild(DOC.createTextNode(i));
+                    b.setAttribute('id', `sel-ext-${i}`);
                    b.onclick = function() {
                        API.selection.for_widgets(w => {
                            current.widget[w.id] = {extruder: i};
+                            API.platform.update_selected();
                        });
                    };
                    selext.appendChild(b);