src/Tools/jEdit/src/isabelle.scala

--- a/src/Tools/jEdit/src/isabelle.scala	Sun May 02 20:51:21 2021 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Sun May 02 21:46:59 2021 +0200
@@ -362,7 +362,10 @@
                     val start_line = text_area.getCaretLine + 1
                     text_area.setSelectedText("\n" + text)
                     val end_line = text_area.getCaretLine
-                    buffer.indentLines(start_line, end_line)
+                    for (line <- start_line to end_line) {
+                      Token_Markup.Line_Context.refresh(buffer, line)
+                      buffer.indentLine(line, true)
+                    }
                   }
                   else {
                     buffer.remove(start, range.length)