changeset 23902:53dfc2329ba9

* parser.cc (info_to_html): update according to new Menu-string
author Torsten <mttl@mailbox.org>
date Sat, 12 Aug 2017 22:15:51 +0200
parents b590c674e27d
children 5c588c422e75
files libgui/src/qtinfo/parser.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/qtinfo/parser.cc	Sat Aug 12 11:50:32 2017 -0700
+++ b/libgui/src/qtinfo/parser.cc	Sat Aug 12 22:15:51 2017 +0200
@@ -377,7 +377,7 @@
   text.replace ("<", "&lt;");
   text.replace (">", "&gt;");
 
-  text.replace ("\n *Menu:",
+  text.replace ("\n* Menu:",
                 "\n<font style=\"color:DarkRed;font-weight:bold\">Menu:</font>");
   text.replace ("See also:",
                 R"(<font style="color:DarkRed;font-style:italic;font-weight:bold">See also:</font>)");