lib/browser/GraphBrowser/GraphBrowser.java
changeset 9407 e8f6d918fde9
parent 6753 43507781dc4d
child 9459 259349bb8397
equal deleted inserted replaced
9406:d505b11ce30d 9407:e8f6d918fde9
   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);