From c41dc3a3879746ad91f5daef589d2ad79498c106 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Thu, 6 Dec 2018 16:20:54 +0100
Subject: [PATCH] minor improvement of fsm layout

---
 src/main/java/de/neemann/digital/fsm/Transition.java | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/main/java/de/neemann/digital/fsm/Transition.java b/src/main/java/de/neemann/digital/fsm/Transition.java
index 163ed2f30..294b70679 100644
--- a/src/main/java/de/neemann/digital/fsm/Transition.java
+++ b/src/main/java/de/neemann/digital/fsm/Transition.java
@@ -82,7 +82,7 @@ public class Transition extends Movable<Transition> {
 
             for (Transition t : transitions)
                 if (t != this)
-                    addRepulsive(t.getPos(), 800);
+                    addRepulsive(t.getPos(), 1800);
         }
     }
 
@@ -131,8 +131,13 @@ public class Transition extends Movable<Transition> {
         final VectorFloat arrowTip = toState.getPos().add(difToTip);
 
         Polygon p = new Polygon(false)
-                .add(start)
-                .add(anchorFrom, anchorTo, end);
+                .add(start);
+
+        if (anchorFrom.equals(anchorTo))
+            p.add(anchorFrom, end);
+        else
+            p.add(anchorFrom, anchorTo, end);
+
         final Style arrowStyle = Style.SHAPE_PIN;
         gr.drawPolygon(p, arrowStyle);