From b3f2ce740a2e61fe2b394aedf76e54fe08a652fa Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Wed, 4 Aug 2021 11:58:48 +0200
Subject: [PATCH] indicates "default DC" in state chart

---
 src/main/java/de/neemann/digital/fsm/State.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/fsm/State.java b/src/main/java/de/neemann/digital/fsm/State.java
index a9cf4441f..5e229491d 100644
--- a/src/main/java/de/neemann/digital/fsm/State.java
+++ b/src/main/java/de/neemann/digital/fsm/State.java
@@ -122,7 +122,10 @@ public class State extends Movable<State> {
         Vector delta = new Vector(0, Style.NORMAL.getFontSize());
         VectorFloat pos = getPos().add(delta.mul(-1));
 
-        gr.drawText(pos, Integer.toString(number), Orientation.CENTERCENTER, Style.NORMAL);
+        String text = Integer.toString(number);
+        if (defaultDC)
+            text += " DC";
+        gr.drawText(pos, text, Orientation.CENTERCENTER, Style.NORMAL);
         pos = pos.add(delta);
         gr.drawText(pos, name, Orientation.CENTERCENTER, Style.NORMAL);