changeset 9407 | e8f6d918fde9 |
parent 6753 | 43507781dc4d |
child 9459 | 259349bb8397 |
--- a/lib/browser/GraphBrowser/GraphBrowser.java Sun Jul 23 11:58:30 2000 +0200 +++ b/lib/browser/GraphBrowser/GraphBrowser.java Sun Jul 23 11:59:21 2000 +0200 @@ -129,7 +129,7 @@ public void initBrowser(InputStream is) { try { - TreeNode tn=new TreeNode("Directories","",-1,true); + TreeNode tn=new TreeNode("Sessions","",-1,true); gv=new GraphView(new Graph(is,tn),this); tb=new TreeBrowser(tn,gv); gv.setTreeBrowser(tb);