From 1bb068300e8c8420164c28757f4db47e337ea979 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sun, 30 Oct 2016 20:32:38 +0100
Subject: [PATCH] Improved formatting of ascii texts.

---
 .../de/neemann/digital/gui/components/ElementHelpDialog.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
index f3dd820e5..131c44e67 100644
--- a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
+++ b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
@@ -116,7 +116,10 @@ public class ElementHelpDialog extends JDialog {
         }
 
         public void add(String name, String description) {
-            items.add(new Item("  " + name + ": ", description));
+            if (description==null || description.length()==0 || name.equals(description))
+                items.add(new Item("  " + name, ""));
+            else
+                items.add(new Item("  " + name + ": ", description));
         }
 
         public void create(StringBuilder sb) {