equal
deleted
inserted
replaced
127 return tb==null; |
127 return tb==null; |
128 } |
128 } |
129 |
129 |
130 public void initBrowser(InputStream is) { |
130 public void initBrowser(InputStream is) { |
131 try { |
131 try { |
132 TreeNode tn=new TreeNode("Directories","",-1,true); |
132 TreeNode tn=new TreeNode("Sessions","",-1,true); |
133 gv=new GraphView(new Graph(is,tn),this); |
133 gv=new GraphView(new Graph(is,tn),this); |
134 tb=new TreeBrowser(tn,gv); |
134 tb=new TreeBrowser(tn,gv); |
135 gv.setTreeBrowser(tb); |
135 gv.setTreeBrowser(tb); |
136 Vector v = new Vector(10,10); |
136 Vector v = new Vector(10,10); |
137 tn.collapsedDirectories(v); |
137 tn.collapsedDirectories(v); |