src/Tools/jEdit/src/isabelle_sidekick.scala

--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Sep 01 11:33:44 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Sep 01 13:34:45 2011 +0200
@@ -138,7 +138,7 @@
       }
 
     val text = Isabelle.buffer_text(model.buffer)
-    val structure = Structure.parse(syntax, model.node_name, "theory " + model.thy_name, text)
+    val structure = Structure.parse(syntax, model.name, text)
 
     make_tree(0, structure) foreach (node => data.root.add(node))
   }