replaced "Sessions" by "Root";
authorwenzelm
Fri, 28 Jul 2000 16:08:41 +0200
changeset 9459 259349bb8397
parent 9458 c613cd06d5cf
child 9460 53d7ad5bec39
replaced "Sessions" by "Root";
lib/browser/GraphBrowser/GraphBrowser.java
--- 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);