renamed "Directories" to "Sessions";

--- 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);

--- a/lib/browser/GraphBrowser/TreeNode.java	Sun Jul 23 11:58:30 2000 +0200
+++ b/lib/browser/GraphBrowser/TreeNode.java	Sun Jul 23 11:59:21 2000 +0200
@@ -143,10 +143,11 @@
 		FontMetrics fm=g.getFontMetrics(f);
 		g.setFont(f);
 		int h=fm.getHeight();
-		int down_x[]={x, x + h, x + (int)(h / 2)};
-		int down_y[]={y, y, y + (int)(3 * h / 4)};
-		int right_x[]={2 + x, 2 + x + (int)(3 * h / 4), 2 + x};
-		int right_y[]={y, y + (int)(h / 2), y + h};
+		int e=(int) (h / 10) + 1;
+		int down_x[]={x + e, x + h - e, x + (int)(h / 2)};
+		int down_y[]={y + e, y + e, y + (int)(3 * h / 4) - e};
+		int right_x[]={x + e, x + (int)(3 * h / 4) - e, x + e};
+		int right_y[]={y + e, y + (int)(h / 2), y + h - e};
 		int dx=0;
 
 		if (unfold)