src/Tools/jEdit/src/isabelle_sidekick.scala

--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Aug 04 11:17:11 2016 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Thu Aug 04 11:32:21 2016 +0200
@@ -138,7 +138,7 @@
     node_name(buffer) match {
       case Some(name) =>
         make_tree(data.root, 0,
-          Document_Structure.parse_document(syntax, name, JEdit_Lib.buffer_text(buffer)))
+          Document_Structure.parse_sections(syntax, name, JEdit_Lib.buffer_text(buffer)))
         true
       case None => false
     }