changeset 40458 | 12c8c64203b3 |
parent 40455 | e035dad8eca2 |
child 40474 | 576b88b1dce9 |
--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Nov 10 15:42:20 2010 +0100 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Nov 10 15:43:06 2010 +0100 @@ -129,7 +129,7 @@ }) List(node) case Structure.Atom(command) - if command.is_command && !syntax.is_heading(command.name) => + if command.is_command && syntax.heading_level(command).isEmpty => val node = new DefaultMutableTreeNode( new Isabelle_Sidekick.Asset(command.name, offset, offset + entry.length))