Fixed bug where 0 tokens in a place would be displayed as #0 in CPN

TAPAAL · Oct 23, 2023 · 3183c6f · 3183c6f
1 parent 80e8b5b
commit 3183c6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedPlaceComponent.java b/src/main/java/pipe/gui/petrinet/graphicElements/tapn/TimedPlaceComponent.java
@@ -331,7 +331,7 @@ protected void paintTokens(Graphics g) {
                 g.drawString("#" + marking, x, y + 20);
             } else if (marking > 9) {
                 g.drawString("#" + marking, x + 2, y + 20);
-            } else {
+            } else if (marking > 0) {
                 g.drawString("#" + marking, x + 6, y + 20);
             }
         }