--- a/src/Pure/PIDE/rendering.scala Mon Aug 22 13:29:06 2022 +0200
+++ b/src/Pure/PIDE/rendering.scala Mon Aug 22 14:48:14 2022 +0200
@@ -659,7 +659,7 @@
Some(info + (r0, true, Pretty.block(XML.Text("::") :: Pretty.brk(1) :: body)))
case (info, Text.Info(r0, XML.Elem(Markup(Markup.CLASS_PARAMETER, _), body))) =>
- Some(info + (r0, true, Pretty.block(0, body)))
+ Some(info + (r0, true, Pretty.block(body, indent = 0)))
case (info, Text.Info(r0, XML.Elem(Markup(Markup.ML_TYPING, _), body))) =>
Some(info + (r0, false, Pretty.block(XML.Text("ML:") :: Pretty.brk(1) :: body)))