From eb71b37077f114010e8ea5f08461c587cfe5a7cc Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Thu, 7 Jan 2021 19:06:07 +0100
Subject: [PATCH] adds the names of the components to the generic help dialog

---
 .../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 96a13d02f..7e59adabd 100644
--- a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
+++ b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java
@@ -226,9 +226,12 @@ public class ElementHelpDialog extends JDialog {
         if (translatedName.endsWith(".dig"))
             translatedName = new File(translatedName).getName();
         w.append("<h3>").append(escapeHTML(translatedName)).append("</h3>\n");
+
         String descr = et.getDescription(elementAttributes);
+        if (showKeys)
+            descr += " (" + Lang.get("msg_keyAsGenericAttribute", et.getName()) + ")";
         if (!descr.equals(translatedName))
-            w.append("<p>").append(escapeHTML(et.getDescription(elementAttributes))).append("</p>\n");
+            w.append("<p>").append(escapeHTML(descr)).append("</p>\n");
 
         PinDescriptions inputs = et.getInputDescription(elementAttributes);
         if (inputs != null && inputs.size() > 0) {