# HG changeset patch
# User wenzelm
# Date 964346361 -7200
# Node ID e8f6d918fde95624f849d313365e20157dfaeb28
# Parent  d505b11ce30dd2d47eba8f4fef3a34a4916f7d4e
renamed "Directories" to "Sessions";

diff -r d505b11ce30d -r e8f6d918fde9 lib/browser/GraphBrowser/GraphBrowser.java
--- 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);
diff -r d505b11ce30d -r e8f6d918fde9 lib/browser/GraphBrowser/TreeNode.java
--- 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)