src/Tools/jEdit/src/plugin.scala

 
   def resources(): JEdit_Resources =
     session.resources.asInstanceOf[JEdit_Resources]
 
   def debugger: Debugger = session.debugger
-
-  lazy val editor = new JEdit_Editor
 
 
   /* current document content */
 
   def snapshot(view: View): Document.Snapshot = GUI_Thread.now

 
   private lazy val delay_load =
     GUI_Thread.delay_last(PIDE.options.seconds("editor_load_delay")) { delay_load_action() }
 
   private def file_watcher_action(changed: Set[JFile]): Unit =
-    if (Document_Model.sync_files(changed)) PIDE.editor.invoke_generated()
+    if (Document_Model.sync_files(changed)) JEdit_Editor.invoke_generated()
 
   lazy val file_watcher: File_Watcher =
     File_Watcher(file_watcher_action _, PIDE.options.seconds("editor_load_delay"))
 
 

 
     case Session.Shutdown =>
       GUI_Thread.later {
         delay_load.revoke()
         delay_init.revoke()
-        PIDE.editor.flush()
+        JEdit_Editor.flush()
         exit_models(JEdit_Lib.jedit_buffers().toList)
       }
 
     case _ =>
   }

   }
 
   def init_models()
   {
     GUI_Thread.now {
-      PIDE.editor.flush()
+      JEdit_Editor.flush()
 
       for {
         buffer <- JEdit_Lib.jedit_buffers()
         if buffer != null && !buffer.getBooleanProperty(Buffer.GZIPPED)
       } {

           }
         }
         else delay_init.invoke()
       }
 
-      PIDE.editor.invoke_generated()
+      JEdit_Editor.invoke_generated()
     }
   }
 
   def init_view(buffer: Buffer, text_area: JEditTextArea): Unit =
     GUI_Thread.now {

 
           Session_Build.session_build(view)
 
           Keymap_Merge.check_dialog(view)
 
-          PIDE.editor.hyperlink_position(true, Document.Snapshot.init,
+          JEdit_Editor.hyperlink_position(true, Document.Snapshot.init,
             JEdit_Sessions.session_info().open_root).foreach(_.follow(view))
 
         case msg: BufferUpdate
         if msg.getWhat == BufferUpdate.LOAD_STARTED || msg.getWhat == BufferUpdate.CLOSING =>
           if (msg.getBuffer != null) {
             exit_models(List(msg.getBuffer))
-            PIDE.editor.invoke_generated()
+            JEdit_Editor.invoke_generated()
           }
 
         case msg: BufferUpdate
         if msg.getWhat == BufferUpdate.PROPERTIES_CHANGED || msg.getWhat == BufferUpdate.LOADED =>
           if (PIDE.session.is_ready) {