Mark initial state

tilk · Apr 30, 2021 · 79a1993 · 79a1993
1 parent d06a6ac
commit 79a1993
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 == init_state)
+                node.attr('body/strokeWidth', 3)
             if (n == current_state)
                 node.attr('body/class', 'current_state');
             node.addTo(this.fsmgraph);