From d3dff91cd959d6dabe06d0fbbead28aa4a6abd6a Mon Sep 17 00:00:00 2001
From: Soeren Domroes <sdo@informatik.uni-kiel.de>
Date: Fri, 13 Jun 2025 14:13:12 +0200
Subject: [PATCH] Remove rendering if priority label is empty.

---
 .../ui/synthesis/labels/TransitionPriorityLabelManager.java      | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
index 5680ddff55..632bf3c552 100644
--- a/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
+++ b/plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/labels/TransitionPriorityLabelManager.java
@@ -68,6 +68,7 @@ public Result doResizeLabel(ElkLabel label, double targetWidth) {
                         return Result.modified(matcher.group(1) + ".");
                     } else {
                         // If no priority available 
+                        label.setProperty(KRenderingOptions.K_RENDERING, null);
                         return Result.modified("");
                     }
                 }