src/Tools/jEdit/src/jedit_thy_load.scala
changeset 44580 3bc9a215a56d
parent 44577 96b6388d06c4
child 44615 a4ff8a787202
     1.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 30 12:24:55 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 30 15:43:27 2011 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4    override def check_thy(node_name: String): Thy_Header =
     1.5    {
     1.6      Swing_Thread.now {
     1.7 -      Isabelle.jedit_buffers().find(buffer => Isabelle.buffer_name(buffer) == node_name) match {
     1.8 +      Isabelle.jedit_buffer(node_name) match {
     1.9          case Some(buffer) =>
    1.10            Isabelle.buffer_lock(buffer) {
    1.11              val text = new Segment