From 712d7fcdd79f5ae3363e123343f814cd20bc14eb Mon Sep 17 00:00:00 2001 From: hneemann Date: Thu, 28 May 2020 19:45:42 +0200 Subject: [PATCH] fixes a bug in the fsm svg export --- src/main/java/de/neemann/digital/fsm/Transition.java | 6 +++--- 1 file changed, 3 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 c62c55bcc..bac05f122 100644 --- a/src/main/java/de/neemann/digital/fsm/Transition.java +++ b/src/main/java/de/neemann/digital/fsm/Transition.java @@ -167,9 +167,9 @@ public class Transition extends Movable { // text ArrayList strings = new ArrayList<>(); if (condition != null && !condition.isEmpty()) - strings.add(condition); + strings.add("$" + condition + "$"); if (getValues() != null && !getValues().isEmpty()) - strings.add(Lang.get("fsm_set_N", getValues())); + strings.add(Lang.get("fsm_set_N", "$" + getValues() + "$")); if (!strings.isEmpty()) { final int fontSize = Style.NORMAL.getFontSize(); @@ -186,7 +186,7 @@ public class Transition extends Movable { } for (String s : strings) { - gr.drawText(textPos, s, Orientation.CENTERCENTER, Style.INOUT); + gr.drawText(textPos, s, Orientation.CENTERCENTER, Style.NORMAL); textPos = textPos.add(0, fontSize); } }