# HG changeset patch
# User wenzelm
# Date 1413713223 -7200
# Node ID 40abd7818bca98786d93cf40678c18e707df8cc6
# Parent  70a947611792f0678f2eef06562b1ec3a2196905
omit pointless nodes for proof commands etc.;

diff -r 70a947611792 -r 40abd7818bca src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Sun Oct 19 11:20:03 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Sun Oct 19 12:07:03 2014 +0200
@@ -115,13 +115,6 @@
               i + doc.length
             })
           List(node)
-
-        case Outer_Syntax.Document_Atom(command)
-        if command.is_proper && syntax.heading_level(command).isEmpty =>
-          val node =
-            new DefaultMutableTreeNode(
-              new Isabelle_Sidekick.Asset(command.name, offset, offset + document.length))
-          List(node)
         case _ => Nil
       }