src/Tools/jEdit/src/structure_matching.scala
changeset 59074 7836d927ffca
parent 58901 47809a811eba
child 59122 c1dbcde94cd2
     1.1 --- a/src/Tools/jEdit/src/structure_matching.scala	Mon Dec 01 15:21:49 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/structure_matching.scala	Mon Dec 01 17:43:23 2014 +0100
     1.3 @@ -40,7 +40,7 @@
     1.4        val caret_line = text_area.getCaretLine
     1.5        val caret = text_area.getCaretPosition
     1.6  
     1.7 -      Isabelle.session_syntax() match {
     1.8 +      Isabelle.buffer_syntax(text_area.getBuffer) match {
     1.9          case Some(syntax) =>
    1.10            val limit = PIDE.options.value.int("jedit_structure_limit") max 0
    1.11  
    1.12 @@ -143,7 +143,7 @@
    1.13      {
    1.14        def get_span(offset: Text.Offset): Option[Text.Range] =
    1.15          for {
    1.16 -          syntax <- Isabelle.session_syntax()
    1.17 +          syntax <- Isabelle.buffer_syntax(text_area.getBuffer)
    1.18            span <- Token_Markup.command_span(syntax, text_area.getBuffer, offset)
    1.19          } yield span.range
    1.20