src/Tools/jEdit/src/document_model.scala

               case _ => (false, st)
             }
         })
     if (changed) {
       PIDE.plugin.options_changed()
-      PIDE.editor.flush()
+      JEdit_Editor.flush()
     }
   }
 
   def view_node_required(view: View, toggle: Boolean = false, set: Boolean = false): Unit =
     Document_Model.get(view.getBuffer).foreach(model =>

       val reparse = snapshot.node.load_commands_changed(doc_blobs)
       val perspective =
         if (hidden) Text.Perspective.empty
         else {
           val view_ranges = document_view_ranges(snapshot)
-          val load_ranges = snapshot.commands_loading_ranges(PIDE.editor.visible_node(_))
+          val load_ranges = snapshot.commands_loading_ranges(JEdit_Editor.visible_node(_))
           Text.Perspective(view_ranges ::: load_ranges)
         }
-      val overlays = PIDE.editor.node_overlays(node_name)
+      val overlays = JEdit_Editor.node_overlays(node_name)
 
       (reparse, Document.Node.Perspective(node_required, perspective, overlays))
     }
     else (false, Document.Node.no_perspective_text)
   }

 
       for (doc_view <- document_view_iterator)
         doc_view.rich_text_area.active_reset()
 
       pending ++= edits
-      PIDE.editor.invoke()
+      JEdit_Editor.invoke()
     }
   }
 
   def is_stable: Boolean = !pending_edits.nonEmpty
   def snapshot(): Document.Snapshot = session.snapshot(node_name, pending_edits.get_edits)