src/Pure/PIDE/markup_tree.scala

 Markup trees over nested / non-overlapping text ranges.
 */
 
 package isabelle
 
-import java.lang.System
-import javax.swing.tree.DefaultMutableTreeNode
 
 import scala.collection.immutable.SortedMap
 import scala.collection.mutable
 import scala.annotation.tailrec
 

   def from_XML(body: XML.Body): Markup_Tree =
     merge_disjoint(((0, Nil: List[Markup_Tree]) /: body)(make_trees)._2)
 }
 
 
-final class Markup_Tree private(private val branches: Markup_Tree.Branches.T)
+final class Markup_Tree private(val branches: Markup_Tree.Branches.T)
 {
   import Markup_Tree._
 
   private def this(branches: Markup_Tree.Branches.T, entry: Markup_Tree.Entry) =
     this(branches + (entry.range -> entry))

       }
     }
     stream(root_range.start,
       List((Text.Info(root_range, root_info), overlapping(root_range).toStream)))
   }
-
-  def swing_tree(parent: DefaultMutableTreeNode,
-    swing_node: Text.Info[List[XML.Elem]] => DefaultMutableTreeNode)
-  {
-    for ((_, entry) <- branches) {
-      val node = swing_node(Text.Info(entry.range, entry.markup))
-      entry.subtree.swing_tree(node, swing_node)
-      parent.add(node)
-    }
-  }
 }