changeset 23904:5c588c422e75

maint: merge away accidental head.
author Rik <rik@octave.org>
date Sat, 12 Aug 2017 14:02:29 -0700
parents a08e277f985f (current diff) 53dfc2329ba9 (diff)
children b41792547237
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/qtinfo/parser.cc	Sat Aug 12 14:00:37 2017 -0700
+++ b/libgui/src/qtinfo/parser.cc	Sat Aug 12 14:02:29 2017 -0700
@@ -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>)");