closes #35 style local transitions differently from external transiti…

…ons - they have hollow arrowheads.
finger563 · Jan 10, 2018 · fe91421 · fe91421
1 parent a63ace3
commit fe91421
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/visualizers/widgets/HFSMViz/style2.css b/src/visualizers/widgets/HFSMViz/style2.css
@@ -194,6 +194,10 @@ edge[Enabled = "False"] {
     line-style: dashed;
 }
 
+edge[type = "Local Transition"] {
+    target-arrow-fill: hollow;
+}
+
 .filtered {
     display: none;
 }
@@ -205,4 +209,4 @@ edge[Enabled = "False"] {
     target-arrow-color: blue;
     border-width: 2;
     font-weight: bold;
-}
+}