src/Tools/jEdit/src/plugin.scala

 /*  Title:      Tools/jEdit/src/plugin.scala
     Author:     Makarius
 
-Main Isabelle/jEdit plugin setup.
+Main plumbing for PIDE infrastructure as jEdit plugin.
 */
 
 package isabelle.jedit
 
 

 
 import scala.swing.{ListView, ScrollPane}
 
 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, View}
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
-import org.gjt.sp.jedit.syntax.{Token => JEditToken, ModeProvider}
+import org.gjt.sp.jedit.syntax.ModeProvider
 import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
 
 import org.gjt.sp.util.SyntaxUtilities
 
 import scala.actors.Actor._

   /* full checking */
 
   def check_buffer(buffer: Buffer)
   {
     PIDE.document_model(buffer) match {
+      case Some(model) => model.full_perspective()
       case None =>
-      case Some(model) => model.full_perspective()
     }
   }
 
   def cancel_execution() { PIDE.session.cancel_execution() }
 }