checkpoint ui refactor

2024-05-23 00:38:38 -04:00 · 2024-05-23 00:38:38 -04:00 · 331bff9378
commit 331bff9378
parent 3296d8e3a0
7 changed files with 88 additions and 98 deletions
--- a/src/kiri-mode/cam/client.js
+++ b/src/kiri-mode/cam/client.js
@ -187,8 +187,6 @@ CAM.init = function(kiri, api) {
            if (wannot.tab && wannot.tab.length) hasTabs = true;
            if (wannot.trace && wannot.trace.length) hasTraces = true;
        }
-        // show/hide dots in enabled process pop buttons
-        api.ui.camTabs.marker.style.display = hasTabs ? 'flex' : 'none';
        api.platform.update_bounds();
        updateIndex();
        updateStock();