remove hotfix for eclipse-elk/elk#841 that is now included since release

0.9.0
kieler · Nov 21, 2024 · 825f66e · 825f66e
1 parent aa5b1c5
commit 825f66e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 249 deletions.
diff --git a/.../src/de/cau/cs/kieler/sccharts/ui/synthesis/hooks/DirectionalArrowsDecoratorHotFixed.java b/.../src/de/cau/cs/kieler/sccharts/ui/synthesis/hooks/DirectionalArrowsDecoratorHotFixed.java
diff --git a/...sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/hooks/LabelPlacementSideHook.xtend b/...sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/hooks/LabelPlacementSideHook.xtend
@@ -103,7 +103,7 @@ class LabelPlacementSideHook extends SynthesisHook {
 
         if (ON_EDGE_ARROWS) {
             inlineLabelConfigurator.addDecoratorRenderingProvider(
-                DirectionalArrowsDecoratorHotFixed.create()
+                DirectionalArrowsDecorator.create()
                     .withColor(foreground))
         }