# HG changeset patch
# User Edouard Tisserant
# Date 1626185917 -7200
# Node ID 5615e062a77d51572c086e64ed48ce8ee78af98a
# Parent  2bcfbea6a2a8b66b8a24f91f94f76504dfda8614
SVGHMI: DnD UI: Use widget's short description, initially forgoten.

diff -r 2bcfbea6a2a8 -r 5615e062a77d svghmi/ui.py
--- a/svghmi/ui.py	Tue Jul 13 16:16:58 2021 +0200
+++ b/svghmi/ui.py	Tue Jul 13 16:18:37 2021 +0200
@@ -602,11 +602,11 @@
         # Keep double newlines (to mark paragraphs)
         widget_desc = widget.find("desc")
         self.desc.SetValue(
-            fname + ":\n" + (
+            fname + ":\n\n" + (
                 _("No description given") if widget_desc is None else 
                 KeepDoubleNewLines(widget_desc.text)
             ) + "\n\n" +
-            defs.find("type").text + " Widget:\n" +
+            defs.find("type").text + " Widget: "+defs.find("shortdesc").text+"\n\n" +
             KeepDoubleNewLines(defs.find("longdesc").text))
         prefillargs = widget.findall("arg")
         args = defs.findall("arg")