From eeb98c42842eaf79895041ce103c839b833a9031 Mon Sep 17 00:00:00 2001
From: Laurent Monin <github@norz.org>
Date: Sat, 21 Mar 2020 16:28:39 +0100
Subject: [PATCH] Remove useless bits

---
 picard/ui/options/scripting.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/picard/ui/options/scripting.py b/picard/ui/options/scripting.py
index f52cc9163..b2ff8dc99 100644
--- a/picard/ui/options/scripting.py
+++ b/picard/ui/options/scripting.py
@@ -65,7 +65,6 @@ DOCUMENTATION_HTML_TEMPLATE = '''
 <style>
 dt {
     font-family: monospace;
-    /* font-weight: bold; */
     color: %(script_function_fg)s
 }
 dd {
@@ -124,11 +123,10 @@ class ScriptingDocumentationDialog(PicardDialog):
             fmt='html',
             preprocessor=process_html,
         )
-        enclosed_by = ('<dl>', '</dl>')
 
         color_fg = interface_colors.get_color('script_function_fg')
         html = DOCUMENTATION_HTML_TEMPLATE % {
-            'html': "%s%s%s" % (enclosed_by[0], funcdoc, enclosed_by[1]),
+            'html': "<dl>%s</dl>" % funcdoc,
             'script_function_fg': color_fg,
         }
         self.ui.textBrowser.setHtml(html)