equal
deleted
inserted
replaced
31 public Vector getCollapsed() { return collapsed; } |
31 public Vector getCollapsed() { return collapsed; } |
32 } |
32 } |
33 |
33 |
34 public class TreeNode |
34 public class TreeNode |
35 { |
35 { |
36 static Font f=new Font("Helvetica",Font.PLAIN,15); |
36 static Font f=new Font("Helvetica", Font.PLAIN, 14); |
37 int starty,endy,number; |
37 int starty,endy,number; |
38 String name,path; |
38 String name,path; |
39 |
39 |
40 Vector leaves=new Vector(10,10); |
40 Vector leaves=new Vector(10,10); |
41 boolean unfold=false; |
41 boolean unfold=false; |