Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/tree_panel.scala
changeset 60905 eba3acb72b55
parent 60849 6e49311ef842
child 66205 e9fa94f43a15 
--- a/src/Tools/Graphview/tree_panel.scala	Tue Aug 11 21:36:25 2015 +0200
+++ b/src/Tools/Graphview/tree_panel.scala	Tue Aug 11 22:01:11 2015 +0200
@@ -159,7 +159,7 @@
       root.removeAllChildren
       for (node <- nodes) root.add(new DefaultMutableTreeNode(node))
 
-      for (i <- 0 until tree.getRowCount) tree.expandRow(i)
+      tree.expandRow(0)
       tree.revalidate()
     }
     revalidate()
isabelle