From c6a6ee2d2268d04d2bb7fd3ca2de975f7fa8170c Mon Sep 17 00:00:00 2001
From: Philipp Schaad <philipp.schaad@inf.ethz.ch>
Date: Tue, 10 Oct 2023 16:44:53 +0200
Subject: [PATCH] Quickfix (#116)

---
 src/renderer/renderer_elements.ts | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/renderer/renderer_elements.ts b/src/renderer/renderer_elements.ts
index b890e7db..ccade2f2 100644
--- a/src/renderer/renderer_elements.ts
+++ b/src/renderer/renderer_elements.ts
@@ -2034,9 +2034,11 @@ function batchedDrawEdges(
             return;
 
         // WCR Edge.
-        if (edge.parent_id !== null && edge.data.attributes.wcr !== null) {
-            deferredEdges.push(edge);
-            return;
+        if (!(graph instanceof State)) {
+            if (edge.parent_id !== null && edge.data.attributes.wcr !== null) {
+                deferredEdges.push(edge);
+                return;
+            }
         }
 
         // Colored edge through selection/hovering/highlighting.
@@ -2147,7 +2149,7 @@ export function drawStateContents(
 
     batchedDrawEdges(
         renderer, stateGraph, ctx, visibleRect, mousePos, '--color-default',
-        SDFVSettings.alwaysOnISEdgeLabels
+        false
     );
 }
 
@@ -2159,7 +2161,7 @@ export function drawStateMachine(
     if (!lod || ppp < SDFV.EDGE_LOD)
         batchedDrawEdges(
             renderer, stateMachineGraph, ctx, visibleRect, mousePos,
-            '--interstate-edge-color'
+            '--interstate-edge-color', SDFVSettings.alwaysOnISEdgeLabels
         );
 
     for (const nodeId of stateMachineGraph.nodes()) {