diff --git a/src/main/java/de/neemann/digital/fsm/State.java b/src/main/java/de/neemann/digital/fsm/State.java index ef4ac4eb8..6935eeeec 100644 --- a/src/main/java/de/neemann/digital/fsm/State.java +++ b/src/main/java/de/neemann/digital/fsm/State.java @@ -95,12 +95,11 @@ public class State extends Movable { if (getFsm().getActiveState() == number) style = Style.HIGHLIGHT; + if (number == 0) + style = style.deriveStyle(style.getThickness() * 2, false, style.getColor()); + VectorInterface rad = new Vector(radius, radius); gr.drawCircle(getPos().sub(rad), getPos().add(rad), style); - if (number == 0) { - VectorInterface rad2 = new Vector(radius - Style.MAXLINETHICK * 2, radius - Style.MAXLINETHICK * 2); - gr.drawCircle(getPos().sub(rad2), getPos().add(rad2), Style.THIN); - } Vector delta = new Vector(0, Style.NORMAL.getFontSize()); VectorFloat pos = getPos().add(delta.mul(-1));