tuned;

--- a/src/Tools/jEdit/src/active.scala	Wed Oct 29 13:58:50 2025 +0100
+++ b/src/Tools/jEdit/src/active.scala	Wed Oct 29 14:07:56 2025 +0100
@@ -87,8 +87,9 @@
                 Isabelle.edit_command(snapshot, text_area,
                   props.contains(Markup.PADDING_COMMAND), id, text)
               case _ =>
-                if (props.contains(Markup.PADDING_LINE))
+                if (props.contains(Markup.PADDING_LINE)) {
                   Isabelle.insert_line_padding(text_area, text)
+                }
                 else text_area.setSelectedText(text)
             }
             text_area.requestFocus()