# HG changeset patch
# User wenzelm
# Date 1735481116 -3600
# Node ID e8412ab83eaf0d1a90dbb4a901c509bf6f333cfb
# Parent  d92a3649bfd11468da5f5c9047e212c51098c181
tuned: more uniform;

diff -r d92a3649bfd1 -r e8412ab83eaf src/Pure/General/pretty.scala
--- a/src/Pure/General/pretty.scala	Sun Dec 29 14:57:13 2024 +0100
+++ b/src/Pure/General/pretty.scala	Sun Dec 29 15:05:16 2024 +0100
@@ -185,8 +185,8 @@
 
         case (block: Block) :: ts if block.open_block =>
           val btext = format(block.body, blockin, break_dist(ts, after), text.reset)
-          val ts1 = if (text.nl < btext.nl) force_next(ts) else ts
           val btext1 = btext.set(XML.Elem(block.markup, btext.content) :: text.tx)
+          val ts1 = if (text.nl < btext1.nl) force_next(ts) else ts
           format(ts1, blockin, after, btext1)
 
         case Block(markup, markup_body, _, consistent, indent, body, blen) :: ts =>