Correctly mark current state at FSM init

tilk · Apr 30, 2021 · d06a6ac · d06a6ac
1 parent 59e5f29
commit d06a6ac
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cells/fsm.mjs b/src/cells/fsm.mjs
@@ -58,6 +58,8 @@ export const FSM = Box.define('FSM', {
             const node = new joint.shapes.standard.Circle({stateNo: n, id: 'state' + n, isInit: n == init_state});
             node.attr('label/text', String(n));
             node.resize(100,50);
+            if (n == current_state)
+                node.attr('body/class', 'current_state');
             node.addTo(this.fsmgraph);
             statenodes.push(node);
         }