# HG changeset patch
# User wenzelm
# Date 964793321 -7200
# Node ID 259349bb8397061df13dd79c7e8a68e96fdf3e1d
# Parent  c613cd06d5cfcc150dc2da809e5d516b84940964
replaced "Sessions" by "Root";

diff -r c613cd06d5cf -r 259349bb8397 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);