Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit_editor.scala
changeset 54531 8330faaeebd5
parent 54528 842adea880a4
child 54702 3daeba5130f0 
--- a/src/Tools/jEdit/src/jedit_editor.scala	Wed Nov 20 15:53:59 2013 +0100
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Wed Nov 20 16:15:54 2013 +0100
@@ -80,7 +80,7 @@
         else node.commands.reverse.iterator.find(cmd => !cmd.is_ignored)
       case None =>
         PIDE.document_model(buffer) match {
-          case Some(model) if !model.node_name.is_theory =>
+          case Some(model) if !model.is_theory =>
             snapshot.version.nodes.thy_load_commands(model.node_name) match {
               case cmd :: _ => Some(cmd)
               case Nil => None
isabelle