equal
deleted
inserted
replaced
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); |