src/Tools/jEdit/src/plugin.scala
changeset 50362 1a539d7a0438
parent 50344 608265769ce0
child 50363 2f8dc9e65401
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Wed Dec 05 11:05:34 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Wed Dec 05 11:34:04 2012 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  /*  Title:      Tools/jEdit/src/plugin.scala
     1.5      Author:     Makarius
     1.6  
     1.7 -Main Isabelle/jEdit plugin setup.
     1.8 +Main plumbing for PIDE infrastructure as jEdit plugin.
     1.9  */
    1.10  
    1.11  package isabelle.jedit
    1.12 @@ -15,7 +15,7 @@
    1.13  
    1.14  import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, View}
    1.15  import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
    1.16 -import org.gjt.sp.jedit.syntax.{Token => JEditToken, ModeProvider}
    1.17 +import org.gjt.sp.jedit.syntax.ModeProvider
    1.18  import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
    1.19  
    1.20  import org.gjt.sp.util.SyntaxUtilities
    1.21 @@ -122,8 +122,8 @@
    1.22    def check_buffer(buffer: Buffer)
    1.23    {
    1.24      PIDE.document_model(buffer) match {
    1.25 +      case Some(model) => model.full_perspective()
    1.26        case None =>
    1.27 -      case Some(model) => model.full_perspective()
    1.28      }
    1.29    }
    1.30