lib/browser/GraphBrowser/TreeNode.java
changeset 9407 e8f6d918fde9
parent 6657 9627197bd9e1
child 11873 38dc46b55d7e
equal deleted inserted replaced
9406:d505b11ce30d 9407:e8f6d918fde9
   141 	public Dimension draw(Graphics g,int x,int y,TreeNode t)
   141 	public Dimension draw(Graphics g,int x,int y,TreeNode t)
   142 	{
   142 	{
   143 		FontMetrics fm=g.getFontMetrics(f);
   143 		FontMetrics fm=g.getFontMetrics(f);
   144 		g.setFont(f);
   144 		g.setFont(f);
   145 		int h=fm.getHeight();
   145 		int h=fm.getHeight();
   146 		int down_x[]={x, x + h, x + (int)(h / 2)};
   146 		int e=(int) (h / 10) + 1;
   147 		int down_y[]={y, y, y + (int)(3 * h / 4)};
   147 		int down_x[]={x + e, x + h - e, x + (int)(h / 2)};
   148 		int right_x[]={2 + x, 2 + x + (int)(3 * h / 4), 2 + x};
   148 		int down_y[]={y + e, y + e, y + (int)(3 * h / 4) - e};
   149 		int right_y[]={y, y + (int)(h / 2), y + h};
   149 		int right_x[]={x + e, x + (int)(3 * h / 4) - e, x + e};
       
   150 		int right_y[]={y + e, y + (int)(h / 2), y + h - e};
   150 		int dx=0;
   151 		int dx=0;
   151 
   152 
   152 		if (unfold)
   153 		if (unfold)
   153 		{
   154 		{
   154 			g.setColor(Color.green);
   155 			g.setColor(Color.green);