add laser z index unique coloring option

2020-10-21 22:27:55 -04:00 · 2020-10-21 22:27:55 -04:00 · 28b95da2e8
commit 28b95da2e8
parent 703ae490f6
7 changed files with 45 additions and 9 deletions
--- a/src/kiri/ui.js
+++ b/src/kiri/ui.js
@ -33,6 +33,7 @@
        prefix: function(pre) { prefix = pre; return kiri.ui },
        hideAction: function(fn) { hideAction = fn; return kiri.ui },
        inputAction: function(fn) { inputAction = fn; return kiri.ui },
+        refresh: refresh,
        setMode: setMode,
        setExpert: setExpert,
        bound: bound,
@ -122,6 +123,10 @@
        });
    }

+    function refresh() {
+        setMode(letMode, true);
+    }
+
    function setMode(mode, nohide) {
        Object.keys(groupShow).forEach(group => {
            updateGroupShow(group);
@ -573,7 +578,7 @@
            ip.addEventListener('blur', function(event) {
                action(event);
                if (opt.trigger) {
-                    setMode(letMode, true);
+                    refresh();
                }
            });
        }