checkpoint topo and tool refactoring

2020-11-05 14:47:18 -05:00 · 2020-11-05 14:47:18 -05:00 · c3120263f0
commit c3120263f0
parent 7db47ca185
9 changed files with 582 additions and 474 deletions
--- a/src/kiri/init.js
+++ b/src/kiri/init.js
@ -116,7 +116,10 @@
    }

    function onBooleanClick() {
-        UC.refresh();
+        // prevent hiding elements in device editor on clicks
+        if (!API.modal.visible()) {
+            UC.refresh();
+        }
        API.conf.update();
        DOC.activeElement.blur();
    }