src/Pure/PIDE/markup_tree.scala
changeset 51618 a3577cd80c41
parent 50642 aca12f646772
child 52642 84eb792224a8
     1.1 --- a/src/Pure/PIDE/markup_tree.scala	Thu Apr 04 18:06:48 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup_tree.scala	Thu Apr 04 18:20:00 2013 +0200
     1.3 @@ -8,8 +8,6 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 -import java.lang.System
     1.8 -import javax.swing.tree.DefaultMutableTreeNode
     1.9  
    1.10  import scala.collection.immutable.SortedMap
    1.11  import scala.collection.mutable
    1.12 @@ -132,7 +130,7 @@
    1.13  }
    1.14  
    1.15  
    1.16 -final class Markup_Tree private(private val branches: Markup_Tree.Branches.T)
    1.17 +final class Markup_Tree private(val branches: Markup_Tree.Branches.T)
    1.18  {
    1.19    import Markup_Tree._
    1.20  
    1.21 @@ -280,15 +278,5 @@
    1.22      stream(root_range.start,
    1.23        List((Text.Info(root_range, root_info), overlapping(root_range).toStream)))
    1.24    }
    1.25 -
    1.26 -  def swing_tree(parent: DefaultMutableTreeNode,
    1.27 -    swing_node: Text.Info[List[XML.Elem]] => DefaultMutableTreeNode)
    1.28 -  {
    1.29 -    for ((_, entry) <- branches) {
    1.30 -      val node = swing_node(Text.Info(entry.range, entry.markup))
    1.31 -      entry.subtree.swing_tree(node, swing_node)
    1.32 -      parent.add(node)
    1.33 -    }
    1.34 -  }
    1.35  }
    1.36