From 964947ba78a69467870d4717f41420afacd33db0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Miguel=20=C3=81ngel=20Gonz=C3=A1lez=20Santamarta?=
 <mgons@unileon.es>
Date: Fri, 9 Aug 2024 13:20:40 +0200
Subject: [PATCH] hidden fsm represented as octagon in viewer

---
 .../yasmin_viewer_web_client/src/components/FSM.js       | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/yasmin_viewer/yasmin_viewer_web_client/src/components/FSM.js b/yasmin_viewer/yasmin_viewer_web_client/src/components/FSM.js
index 5a942be..7300be2 100644
--- a/yasmin_viewer/yasmin_viewer_web_client/src/components/FSM.js
+++ b/yasmin_viewer/yasmin_viewer_web_client/src/components/FSM.js
@@ -65,6 +65,8 @@ class FSM extends React.Component {
       } else {
         if (current_state === state.id) {
           type = "current_state";
+        } else if (state.is_fsm && hide_nested_fsm) {
+          type = "hidden_fsm";
         }
       }
 
@@ -239,6 +241,13 @@ class FSM extends React.Component {
                       paddingLeft: 20,
                     },
                   },
+                  {
+                    selector: "node[type = 'hidden_fsm']",
+                    style: {
+                      shape: "octagon",
+                      borderWidth: 3,
+                    },
+                  },
                   {
                     selector: "node[type = 'fsm']",
                     style: {