author | wenzelm |
Fri, 28 Jul 2000 16:08:41 +0200 | |
changeset 9459 | 259349bb8397 |
parent 9458 | c613cd06d5cf |
child 9460 | 53d7ad5bec39 |
--- a/lib/browser/GraphBrowser/GraphBrowser.java Fri Jul 28 16:02:51 2000 +0200 +++ b/lib/browser/GraphBrowser/GraphBrowser.java Fri Jul 28 16:08:41 2000 +0200 @@ -129,7 +129,7 @@ public void initBrowser(InputStream is) { try { - TreeNode tn=new TreeNode("Sessions","",-1,true); + TreeNode tn=new TreeNode("Root","",-1,true); gv=new GraphView(new Graph(is,tn),this); tb=new TreeBrowser(tn,gv); gv.setTreeBrowser(tb);