src/Tools/jEdit/src/jedit_editor.scala
changeset 54531 8330faaeebd5
parent 54528 842adea880a4
child 54702 3daeba5130f0
     1.1 --- a/src/Tools/jEdit/src/jedit_editor.scala	Wed Nov 20 15:53:59 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit_editor.scala	Wed Nov 20 16:15:54 2013 +0100
     1.3 @@ -80,7 +80,7 @@
     1.4          else node.commands.reverse.iterator.find(cmd => !cmd.is_ignored)
     1.5        case None =>
     1.6          PIDE.document_model(buffer) match {
     1.7 -          case Some(model) if !model.node_name.is_theory =>
     1.8 +          case Some(model) if !model.is_theory =>
     1.9              snapshot.version.nodes.thy_load_commands(model.node_name) match {
    1.10                case cmd :: _ => Some(cmd)
    1.11                case Nil => None