src/Tools/jEdit/src/output_dockable.scala

       case HTML_Panel.Mouse_Click(elem, event)
       if Protocol.Sendback.unapply(elem.getUserData(Markup.Data.name)).isDefined =>
         val sendback = Protocol.Sendback.unapply(elem.getUserData(Markup.Data.name)).get
         Document_View(view.getTextArea) match {
           case Some(doc_view) =>
-            doc_view.text_area_painter.robust_body() {
+            doc_view.rich_text_area.robust_body() {
               val cmd = current_state.command
               val model = doc_view.model
               val buffer = model.buffer
               val snapshot = model.snapshot()
               snapshot.node.command_start(cmd) match {