src/Tools/jEdit/src/active.scala

 
               case XML.Elem(Markup(Markup.SENDBACK, props), _) =>
                 if (buffer.isEditable) {
                   props match {
                     case Position.Id(id) =>
-                      Isabelle.edit_command(snapshot, buffer,
+                      Isabelle.edit_command(snapshot, text_area,
                         props.contains(Markup.PADDING_COMMAND), id, text)
                     case _ =>
                       if (props.contains(Markup.PADDING_LINE))
                         Isabelle.insert_line_padding(text_area, text)
                       else text_area.setSelectedText(text)