changeset 56314 | 9a513737a0b2 |
parent 55884 | f2c0eaedd579 |
child 56373 | 0605d90be6fc |
--- a/src/Tools/jEdit/src/jedit_editor.scala Sat Mar 29 09:24:39 2014 +0100 +++ b/src/Tools/jEdit/src/jedit_editor.scala Sat Mar 29 09:34:51 2014 +0100 @@ -85,7 +85,7 @@ case _ => PIDE.document_model(buffer) match { case Some(model) if !model.is_theory => - snapshot.version.nodes.thy_load_commands(model.node_name) match { + snapshot.version.nodes.load_commands(model.node_name) match { case cmd :: _ => Some(cmd) case Nil => None }