lib/browser/GraphBrowser/GraphBrowser.java
changeset 9459 259349bb8397
parent 9407 e8f6d918fde9
child 11798 fbab70de9b0d
--- 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);