# HG changeset patch
# User wenzelm
# Date 1354703644 -3600
# Node ID 1a539d7a043845ea4df73a9612512c532ce8e22e
# Parent  3ae4376cb739d45d0de984203233326849a9725e
tuned;

diff -r 3ae4376cb739 -r 1a539d7a0438 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Wed Dec 05 11:05:34 2012 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Wed Dec 05 11:34:04 2012 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Tools/jEdit/src/plugin.scala
     Author:     Makarius
 
-Main Isabelle/jEdit plugin setup.
+Main plumbing for PIDE infrastructure as jEdit plugin.
 */
 
 package isabelle.jedit
@@ -15,7 +15,7 @@
 
 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
@@ -122,8 +122,8 @@
   def check_buffer(buffer: Buffer)
   {
     PIDE.document_model(buffer) match {
+      case Some(model) => model.full_perspective()
       case None =>
-      case Some(model) => model.full_perspective()
     }
   }