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