--- a/src/Tools/jEdit/src/completion_popup.scala Wed Jul 20 11:44:11 2016 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala Wed Jul 20 16:02:00 2016 +0200
@@ -35,8 +35,8 @@
private val html =
item.description match {
case a :: bs =>
- "<html><b>" + HTML.output(a) + "</b>" +
- HTML.output(bs.map(" " + _).mkString) + "</html>"
+ "<html><b>" + HTML.output(Symbol.print_newlines(a)) + "</b>" +
+ HTML.output(bs.map(b => " " + Symbol.print_newlines(b)).mkString) + "</html>"
case Nil => ""
}
override def toString: String = html