src/Tools/jEdit/src/pretty_text_area.scala

                 output == current_output &&
                 snapshot == current_base_snapshot &&
                 results == current_base_results
             ) {
               current_rendering = rendering
+              val bottom = JEdit_Lib.scrollbar_at_bottom(pretty_text_area)
               JEdit_Lib.buffer_edit(getBuffer) {
                 rich_text_area.active_reset()
                 getBuffer.setFoldHandler(new Fold_Handling.Document_Fold_Handler(rendering))
                 JEdit_Lib.set_text(getBuffer, rich_texts.map(_.text))
-                setCaretPosition(0)
               }
+              setCaretPosition(if (bottom) JEdit_Lib.bottom_line_offset(getBuffer) else 0)
+              JEdit_Lib.scroll_to_caret(pretty_text_area)
             }
           }
         })
     }
   }