diff -r 59eff6e56d81 -r 0f39f59317c1 src/Tools/jEdit/src/completion_popup.scala
--- 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.output(a) + "" +
- HTML.output(bs.map(" " + _).mkString) + ""
+ "" + HTML.output(Symbol.print_newlines(a)) + "" +
+ HTML.output(bs.map(b => " " + Symbol.print_newlines(b)).mkString) + ""
case Nil => ""
}
override def toString: String = html