lib/browser/GraphBrowser/GraphBrowser.java
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);