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("

").append(escapeHTML(translatedName)).append("

\n"); + String descr = et.getDescription(elementAttributes); + if (showKeys) + descr += " (" + Lang.get("msg_keyAsGenericAttribute", et.getName()) + ")"; if (!descr.equals(translatedName)) - w.append("

").append(escapeHTML(et.getDescription(elementAttributes))).append("

\n"); + w.append("

").append(escapeHTML(descr)).append("

\n"); PinDescriptions inputs = et.getInputDescription(elementAttributes); if (inputs != null && inputs.size() > 0) {